2006
Paperback (20 Sep 2006)
Save $14.94
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
| ISBN: | 9783540454588 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 20 Sep 2006 |
| Edition: | 2006 |
| DEWEY: | 004.015113 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 626 |
| Weight: | 961g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 33mm |
$0.21off
Compilers
Paperback
Published 02 Aug 2013
Save $0.21
$6.20off
Modern Compiler Implementation ...
Paperback
Published 07 Aug 2004
Save $6.20
Skew-Normal Model Theories and ...
Hardback
Published 08 Nov 2024
$4.25off
Translational Bioinformatics Ap...
Paperback
Published 07 Oct 2024
Save $4.25
$4.11off
Constraint Handling in Cohort I...
Paperback
Published 07 Oct 2024
Save $4.11
Secret History
Paperback
Published 26 Aug 2024
$8.31off
Computational Fluid Dynamics an...
Paperback
Published 08 Jul 2024
Save $8.31
$4.01off
Mining Complex Networks
Paperback
Published 26 Aug 2024
Save $4.01
$4.35off
Min-Max Framework for Majorizat...
Paperback
Published 04 Nov 2024
Save $4.35