Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Model checking software: 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
2006, Springer
in English
3540331026 9783540331025
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Published in
Berlin, New York
Edition Notes
"Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Pref.
Includes bibliographical references and index.
Also issued online.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created December 4, 2008
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
December 29, 2022 | Edited by MARC Bot | import existing book |
October 4, 2021 | Edited by ImportBot | import existing book |
December 17, 2020 | Edited by MARC Bot | import existing book |
April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
December 4, 2008 | Created by ImportBot | Imported from Library of Congress MARC record. |