2006
Paperback (08 Aug 2006)
Save $9.40
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems
| ISBN: | 9783540374060 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 08 Aug 2006 |
| Edition: | 2006 |
| DEWEY: | 004.24 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 564 |
| Weight: | 1780g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 30mm |
Machine Learning
Hardback
Published 24 Aug 2012
$20.55off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $20.55
$25.62off
Hands-On Generative AI With Tra...
Paperback
Published 10 Dec 2024
Save $25.62
$21.47off
Effective Machine Learning Teams
Paperback
Published 15 Mar 2024
Save $21.47
$5.93off
Foundations of Cryptography
Paperback
Published 18 Jan 2007
Save $5.93
$36.60off
The Logic of Typed Feature Stru...
Paperback
Published 11 Oct 2005
Save $36.60
$4.41off
Linear Algebra for Data Science...
Hardback
Published 16 May 2024
Save $4.41
$11.36off
Graph Algorithms for Data Science
Paperback
Published 06 Feb 2024
Save $11.36
$32.12off
Logical Foundations of Cyber-Ph...
Hardback
Published 11 Aug 2018
Save $32.12
$79.24off
Beyond Planar Graphs
Hardback
Published 01 Oct 2020
Save $79.24