2004
Paperback (20 Sep 2004)
Save $1.52
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail- safe fault tolerance, real-time scheduling, satisfiability checking, and even event recording automata.
| ISBN: | 9783540231677 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 20 Sep 2004 |
| Edition: | 2004 |
| DEWEY: | 003.3 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 395 |
| Weight: | 1270g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 21mm |
Machine Learning
Hardback
Published 24 Aug 2012
$21.50off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $21.50
$26.81off
Hands-On Generative AI With Tra...
Paperback
Published 10 Dec 2024
Save $26.81
$22.66off
Effective Machine Learning Teams
Paperback
Published 15 Mar 2024
Save $22.66
$6.02off
Foundations of Cryptography
Paperback
Published 18 Jan 2007
Save $6.02
$37.16off
The Logic of Typed Feature Stru...
Paperback
Published 11 Oct 2005
Save $37.16
$4.47off
Linear Algebra for Data Science...
Hardback
Published 16 May 2024
Save $4.47
$11.53off
Graph Algorithms for Data Science
Paperback
Published 06 Feb 2024
Save $11.53
$32.60off
Logical Foundations of Cyber-Ph...
Hardback
Published 11 Aug 2018
Save $32.60
$80.44off
Beyond Planar Graphs
Hardback
Published 01 Oct 2020
Save $80.44