Open Library logo
New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by Open Library Bot
December 4, 2010 | History

Model checking software 1 edition

Model checking software
International SPIN Workshop (1 ...

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
Antti Valmari (ed.).

Published 2006 by Springer in Berlin, New York .
Written in English.

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.

Series
Lecture notes in computer science -- 3925
Genre
Congresses.
Other Titles
13th International SPIN Workshop, Thirteenth International SPIN Workshop, International SPIN Workshop, European Joint Conferences on Theory and Practice of Software

Classifications

Dewey Decimal Class
005.1/4
Library of Congress
QA76.76.V47 I58 2006

The Physical Object

Pagination
x, 305 p. :
Number of pages
305

ID Numbers

Open Library
OL22651664M
ISBN 10
3540331026
ISBN 13
9783540331025
LC Control Number
2006922236
Goodreads
6758238

History

Download catalog record: RDF / JSON
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
January 29, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page