An edition of Model checking software (2003)

Model checking software

10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

by

Cover of: Model checking software by International SPIN Workshop (10th 2003 Portland, Or.), International SPIN Workshop (10th 2003 Portland, Or.)
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
August 1, 2020 | History
Edit
An edition of Model checking software (2003)

Model checking software

10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

by

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

Publish Date
Publisher
Springer
Language
English
Pages
239

Check nearby libraries

Buy this book

Subjects

Computer software, Congresses, SPIN (Computer file), Verification, Computer files, Computer software, verification, Computers, congresses
Edition Availability
Cover of: Model checking software
Model checking software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
2003, Springer
in English

Add another edition?

Book Details

Edition Notes

Published in
New York
Series
Lecture notes in computer science ;, 2648
Genre
Congresses.

Classifications

Dewey Decimal Class
005.1/4
Library of Congress
QA76.76.V47 I58 2003, QA76.76.A65QA76.758Q

The Physical Object

Pagination
p. cm.
Number of pages
239

Edition Identifiers

Open Library
OL3686668M
ISBN 10
3540401172
LCCN
2003050423
OCLC/WorldCat
52090932
Goodreads
4219679

Work Identifiers

Work ID
OL6034584W

Source records

Scriblio MARC record
Library of Congress MARC record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record
Harvard University record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
August 1, 2020 Edited by ImportBot import existing book
December 5, 2010 Edited by Open Library Bot Added subjects from MARC records.
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page