2005
Paperback (24 Nov 2005)
Save $1.26
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Constitutes the proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in November/December 2005. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
| ISBN: | 9783540304920 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 24 Nov 2005 |
| Edition: | 2005 |
| DEWEY: | 004.0151 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 405 |
| Weight: | 1310g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 21mm |
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