This book is currently unavailable on Open Library, check out available alternatives.
An edition of Model Checking Software (2001)

Model Checking Software

1 edition

by

Cover of: Model Checking Software by Matthew Dwyer, Matthew Dwyer
Model Checking Software by Matthew Dwyer, Matthew Dwyer
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by ImportBot
July 29, 2014 | History
Edit
An edition of Model Checking Software (2001)

Model Checking Software

1 edition

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
313

Subjects

SPIN (Computer file) Congresses Verification Computer software
Edition Availability
Cover of: Model Checking Software
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
2003, Springer London, Limited
in English
  • Learn More
Cover of: Model Checking Software
Model Checking Software
June 15, 2001, Springer
Paperback in English - 1 edition
  • Nearby Libraries

Add another edition?

Book Details

The Physical Object

Format
Paperback
Number of pages
313
Dimensions
9.2 x 6.1 x 0.8 inches
Weight
1 pounds

Edition Identifiers

Open Library
OL9057304M
ISBN 10
3540421246
ISBN 13
9783540421245
Goodreads
6247540

Work Identifiers

Work ID
OL9075841W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON