Model checking software - Info and Reading Options
10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
By International SPIN Workshop (10th 2003 Portland, Or.)
"Model checking software" was published by Springer in 2003 - New York, it has 239 pages and the language of the book is English.
“Model checking software” Metadata:
- Title: Model checking software
- Author: ➤ International SPIN Workshop (10th 2003 Portland, Or.)
- Language: English
- Number of Pages: 239
- Publisher: Springer
- Publish Date: 2003
- Publish Location: New York
“Model checking software” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - SPIN (Computer file) - Verification - Computer files - Computer software, verification - Computers, congresses
Edition Specifications:
- Pagination: p. cm.
Edition Identifiers:
- The Open Library ID: OL3686668M - OL6034584W
- Online Computer Library Center (OCLC) ID: 52090932
- Library of Congress Control Number (LCCN): 2003050423
- ISBN-10: 3540401172
- All ISBNs: 3540401172
AI-generated Review of “Model checking software”:
Read “Model checking software”:
Read “Model checking software” by choosing from the options below.
Search for “Model checking software” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Model checking software” in Libraries Near You:
Read or borrow “Model checking software” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Model checking software” at a library near you.
Buy “Model checking software” online:
Shop for “Model checking software” on popular online marketplaces.
- Ebay: New and used books.