2010
Paperback (30 Jun 2010)
Save $16.25
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.
| ISBN: | 9783642140518 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 30 Jun 2010 |
| Edition: | 2010 |
| DEWEY: | 511.36028563 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 493 |
| Weight: | 771g |
| Height: | 236mm |
| Width: | 155mm |
| Spine width: | 28mm |
Machine Learning
Hardback
Published 24 Aug 2012
$20.55off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $20.55
$16.23off
LLMs and Generative AI for Heal...
Paperback
Published 03 Sep 2024
Save $16.23
$3.32off
Federated Learning for Internet...
Paperback
Published 29 Nov 2024
Save $3.32
Developing AI, IoT and Cloud Co...
Hardback
Published 06 Dec 2024
$8.48off
Intervention Effectiveness Rese...
Paperback
Published 31 Jul 2024
Save $8.48
Exploring Intelligent Healthcar...
Hardback
Published 08 Oct 2024
$35.46off
The Virtual Hospital
Paperback
Published 01 Oct 2024
Save $35.46
$115.02off
Deep Learning Applications in M...
Hardback
Published 30 Oct 2020
Save $115.02
$18.78off
Clinical Research Informatics
Hardback
Published 15 Feb 2012
Save $18.78