Open Library logo
New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by ImportBot
July 28, 2014 | History

Model Checking Software 1 edition

Cover of: Model Checking Software | Antti Valmari

No ebook available.


Prefer the physical book? Check nearby libraries with:


Buy this book

Amazon $40.72 (used)
Better World Books

There's no description for this book yet. Can you add one?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Model Checking Software
13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science)
1 edition

Published April 28, 2006 by Springer .
Written in English.

The Physical Object

Format
Paperback
Number of pages
307
Dimensions
9.1 x 6 x 0.7 inches
Weight
1.1 pounds

ID Numbers

Open Library
OL9817998M
Internet Archive
modelcheckingsof00valm
ISBN 10
3540331026
ISBN 13
9783540331025
Goodreads
6758238

History

Download catalog record: RDF / JSON
July 28, 2014 Edited by ImportBot import new book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 11, 2009 Created by WorkBot add works page