Explore: Spin (computer File)
Discover books, insights, and more — all in one place.
Learn more about Spin (computer File) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “spin-%28computer-file%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Model Checking Software
By Ezio Bartocci and C. R. Ramakrishnan
“Model Checking Software” Metadata:
- Title: Model Checking Software
- Authors: Ezio BartocciC. R. Ramakrishnan
- Language: English
- Number of Pages: Median: 387
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2013
“Model Checking Software” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - Verification - Computer simulation - Testing - Data processing - SPIN (Computer file) - Computer software, verification - Computer files - Software engineering - Computer science - Logic design - Programming Languages, Compilers, Interpreters - Logics and Meanings of Programs
Edition Identifiers:
- The Open Library ID: OL34520915M - OL27983051M - OL28683747M
- Library of Congress Control Number (LCCN): 2013941132
- All ISBNs: ➤ 3642391761 - 9783642391774 - 3642391753 - 364239177X - 9783642391750 - 9783642391767
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model Checking Software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Model Checking Software
By Antti Valmari
“Model Checking Software” Metadata:
- Title: Model Checking Software
- Author: Antti Valmari
- Language: English
- Number of Pages: Median: 307
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006
“Model Checking Software” Subjects and Themes:
- Subjects: SPIN (Computer file) - Congresses - Verification - Computer software
Edition Identifiers:
- The Open Library ID: OL9817998M - OL37121771M
- All ISBNs: 9783540331032 - 3540331026 - 3540331034 - 9783540331025
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model Checking Software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Model Checking Software
By Matthew Dwyer
“Model Checking Software” Metadata:
- Title: Model Checking Software
- Author: Matthew Dwyer
- Language: English
- Number of Pages: Median: 313
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2001 - 2003
“Model Checking Software” Subjects and Themes:
- Subjects: SPIN (Computer file) - Congresses - Verification - Computer software
Edition Identifiers:
- The Open Library ID: OL37150109M - OL9057304M
- All ISBNs: 3540451390 - 3540421246 - 9783540451396 - 9783540421245
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model Checking Software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Model Checking Software
By Alex Groce
“Model Checking Software” Metadata:
- Title: Model Checking Software
- Author: Alex Groce
- Language: English
- Number of Pages: Median: 208
- Publisher: ➤ Springer-Verlag GmbH Berlin Heidelberg - Springer
- Publish Date: 2011
- Publish Location: Berlin, Heidelberg
“Model Checking Software” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer software, verification - SPIN (Computer file) - Computer simulation - Congresses - Verification - Data processing - Testing - Computer software - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters
Edition Identifiers:
- The Open Library ID: OL30510291M - OL25545860M
- Library of Congress Control Number (LCCN): 2011930657
- All ISBNs: ➤ 3642223060 - 9783642223075 - 9783642223051 - 9783642223068 - 3642223052 - 3642223079
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model Checking Software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Model checking software
By International SPIN Workshop (10th 2003 Portland, Or.)
“Model checking software” Metadata:
- Title: Model checking software
- Author: ➤ International SPIN Workshop (10th 2003 Portland, Or.)
- Language: English
- Number of Pages: Median: 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 Identifiers:
- The Open Library ID: OL3686668M
- Online Computer Library Center (OCLC) ID: 52090932
- Library of Congress Control Number (LCCN): 2003050423
- All ISBNs: 3540401172 - 9783540401179
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Model checking software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Model checking software
By International SPIN Workshop (11th 2004 Barcelona, Spain)
“Model checking software” Metadata:
- Title: Model checking software
- Author: ➤ International SPIN Workshop (11th 2004 Barcelona, Spain)
- Language: English
- Number of Pages: Median: 307
- Publisher: Springer
- Publish Date: 2004
- Publish Location: Berlin - New York
“Model checking software” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - SPIN (Computer file) - Verification - Computer software, verification - Computer simulation - Testing - Data processing
Edition Identifiers:
- The Open Library ID: OL3313762M
- Online Computer Library Center (OCLC) ID: 54936965 - 54784765
- Library of Congress Control Number (LCCN): 2004102408
- All ISBNs: 9783540213147 - 3540213147
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model checking software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Theoretical and practical aspects of SPIN model checking
By International SPIN Workshop (5th 1999 Trento, Italy)
“Theoretical and practical aspects of SPIN model checking” Metadata:
- Title: ➤ Theoretical and practical aspects of SPIN model checking
- Author: ➤ International SPIN Workshop (5th 1999 Trento, Italy)
- Language: English
- Number of Pages: Median: 276
- Publisher: Springer-Verlag
- Publish Date: 1999
- Publish Location: Berlin - New York
“Theoretical and practical aspects of SPIN model checking” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - SPIN (Computer file) - Verification - Computer simulation - Data processing - Testing - Computer files - Automatic theorem proving - Verification (Logic)
Edition Identifiers:
- The Open Library ID: OL48351M
- Online Computer Library Center (OCLC) ID: 42580551
- Library of Congress Control Number (LCCN): 99049725 - gb99070690
- All ISBNs: 3540664998 - 9783540664994
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Theoretical and practical aspects of SPIN model checking at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Principles of the Spin model checker
By M. Ben-Ari
“Principles of the Spin model checker” Metadata:
- Title: ➤ Principles of the Spin model checker
- Author: M. Ben-Ari
- Language: English
- Number of Pages: Median: 216
- Publisher: Springer
- Publish Date: 2008
- Publish Location: London
“Principles of the Spin model checker” Subjects and Themes:
- Subjects: Computer software - SPIN (Computer file) - Verification - Computer software, verification - Literary collections
Edition Identifiers:
- The Open Library ID: OL16655561M
- Online Computer Library Center (OCLC) ID: 170042062
- Library of Congress Control Number (LCCN): 2007941384
- All ISBNs: 1846287707 - 9781846287701 - 9781846287695 - 1846287693
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Principles of the Spin model checker at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Model checking software
By International SPIN Workshop (12th 2005 San Francisco, Calif.)
“Model checking software” Metadata:
- Title: Model checking software
- Author: ➤ International SPIN Workshop (12th 2005 San Francisco, Calif.)
- Language: English
- Number of Pages: Median: 287
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“Model checking software” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - SPIN (Computer file) - Verification - Logic design - Computer science - Software engineering - Computer simulation - Testing - Data processing
Edition Identifiers:
- The Open Library ID: OL18239427M
- Online Computer Library Center (OCLC) ID: 61402302 - 61320923
- Library of Congress Control Number (LCCN): 2005930636
- All ISBNs: 9783540281955 - 3540281959
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model checking software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Model checking software
By International SPIN Workshop (14th 2007 Berlin, Germany)
“Model checking software” Metadata:
- Title: Model checking software
- Author: ➤ International SPIN Workshop (14th 2007 Berlin, Germany)
- Language: English
- Number of Pages: Median: 283
- Publisher: Springer
- Publish Date: 2007
- Publish Location: Berlin - New York
“Model checking software” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - SPIN (Computer file) - Verification - Computer simulation - Testing - Data processing - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL16150580M
- Online Computer Library Center (OCLC) ID: 166274542 - 506554267
- Library of Congress Control Number (LCCN): 2007929430
- All ISBNs: 9783540733690 - 3540733698
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model checking software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Model Checking Software 19th International Workshop Proceedings
By Alastair Donaldson
“Model Checking Software 19th International Workshop Proceedings” Metadata:
- Title: ➤ Model Checking Software 19th International Workshop Proceedings
- Author: Alastair Donaldson
- Publisher: Springer
- Publish Date: 2012
“Model Checking Software 19th International Workshop Proceedings” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - Verification - Computer simulation - Testing - Data processing - SPIN (Computer file) - Computer software, verification - Software engineering - Computer science - Logic design
Edition Identifiers:
- The Open Library ID: OL26061731M
- Library of Congress Control Number (LCCN): 2012941285
- All ISBNs: 9783642317583 - 3642317588
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Model Checking Software 19th International Workshop Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Model checking software
By International SPIN Workshop (8th 2001 Toronto, Ont.)
“Model checking software” Metadata:
- Title: Model checking software
- Author: ➤ International SPIN Workshop (8th 2001 Toronto, Ont.)
- Language: English
- Number of Pages: Median: 311
- Publisher: Springer
- Publish Date: 2001
- Publish Location: New York - Berlin
“Model checking software” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - SPIN (Computer file) - Verification - Computer simulation - Testing - Data processing - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL17020856M
- Online Computer Library Center (OCLC) ID: 46837036
- Library of Congress Control Number (LCCN): 2001032221
- All ISBNs: 3540421246 - 9783540421245
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Model checking software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Model checking software
By International SPIN Workshop (13th 2006 Vienna, Austria)
“Model checking software” Metadata:
- Title: Model checking software
- Author: ➤ International SPIN Workshop (13th 2006 Vienna, Austria)
- Language: English
- Number of Pages: Median: 305
- Publisher: Springer
- Publish Date: 2006
- Publish Location: New York - Berlin
“Model checking software” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - SPIN (Computer file) - Verification - Computer simulation - Testing - Data processing - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL22651664M
- Online Computer Library Center (OCLC) ID: 65207915
- Library of Congress Control Number (LCCN): 2006922236
- All ISBNs: 9783540331025 - 3540331026
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Model checking software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14SPIN model checking and software verification
By International SPIN Workshop (7th 2000 Stanford, Calif.)
“SPIN model checking and software verification” Metadata:
- Title: ➤ SPIN model checking and software verification
- Author: ➤ International SPIN Workshop (7th 2000 Stanford, Calif.)
- Language: English
- Number of Pages: Median: 342
- Publisher: Springer
- Publish Date: 2000
- Publish Location: New York
“SPIN model checking and software verification” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - SPIN (Computer file) - Verification - Computer simulation - Data processing - Testing - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL18141023M
- Online Computer Library Center (OCLC) ID: 44818429
- Library of Congress Control Number (LCCN): 00063787
- All ISBNs: 3540410309 - 9783540410300
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find SPIN model checking and software verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15The SPIN verification system
By Workshop on the SPIN Verification System (2nd 1996 Rutgers University)
“The SPIN verification system” Metadata:
- Title: The SPIN verification system
- Author: ➤ Workshop on the SPIN Verification System (2nd 1996 Rutgers University)
- Language: English
- Number of Pages: Median: 203
- Publisher: American Mathematical Society
- Publish Date: 1997
- Publish Location: Providence, R.I
“The SPIN verification system” Subjects and Themes:
- Subjects: Computer software - Congresses - SPIN (Computer file) - Verification
Edition Identifiers:
- The Open Library ID: OL1013526M
- Library of Congress Control Number (LCCN): 96054839
- All ISBNs: 0821806807 - 9780821806807
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The SPIN verification system at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Model Checking Software
By Jaco van de Pol
“Model Checking Software” Metadata:
- Title: Model Checking Software
- Author: Jaco van de Pol
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2010
- Publish Location: Berlin, Heidelberg
“Model Checking Software” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - SPIN (Computer file) - Computer simulation - Congresses - Verification - Data processing - Testing - Computer software
Edition Identifiers:
- The Open Library ID: OL25558782M
- Library of Congress Control Number (LCCN): 2010935165
- All ISBNs: 9783642161636 - 3642161642 - 9783642161643 - 3642161634
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model Checking Software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Model Checking Software Lecture Notes in Computer Science
By Klaus Havelund
“Model Checking Software Lecture Notes in Computer Science” Metadata:
- Title: ➤ Model Checking Software Lecture Notes in Computer Science
- Author: Klaus Havelund
- Number of Pages: Median: 342
- Publisher: Springer
- Publish Date: 2008
“Model Checking Software Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Congresses - Computer software - Verification - SPIN (Computer file)
Edition Identifiers:
- The Open Library ID: OL26133173M
- Online Computer Library Center (OCLC) ID: 233932892
- All ISBNs: 9783540851134 - 3540851135
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model Checking Software Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
By Corina S. Pasareanu
“Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings” Metadata:
- Title: ➤ Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
- Author: Corina S. Pasareanu
- Publisher: Springer
- Publish Date: 2009
“Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer software - Congresses - Verification - Computer simulation - Testing - Data processing - Model Checking - Kongress - Programmverifikation - SPIN (Computer file) - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL26097339M
- Online Computer Library Center (OCLC) ID: 419645564
- Library of Congress Control Number (LCCN): 2009928779
- All ISBNs: 3642026516 - 9783642026515
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Model checking software
“Model checking software” Metadata:
- Title: Model checking software
- Language: English
- Number of Pages: Median: 241
- Publisher: Springer
- Publish Date: 2003
“Model checking software” Subjects and Themes:
- Subjects: SPIN (Computer file) - Congresses - Verification - Computer software
Edition Identifiers:
- The Open Library ID: OL9056883M
- All ISBNs: 3540401172 - 9783540401179
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model checking software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20SPIN model checking and software verification
“SPIN model checking and software verification” Metadata:
- Title: ➤ SPIN model checking and software verification
- Language: English
- Number of Pages: Median: 340
- Publisher: Springer
- Publish Date: 2000
“SPIN model checking and software verification” Subjects and Themes:
- Subjects: SPIN (Computer file) - Congresses - Verification - Computer software
Edition Identifiers:
- The Open Library ID: OL9057068M
- All ISBNs: 3540410309 - 9783540410300
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find SPIN model checking and software verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Theoretical and practical aspects of SPIN model checking
By International SPIN Workshop (5th 1999 Trento, Italy)
“Theoretical and practical aspects of SPIN model checking” Metadata:
- Title: ➤ Theoretical and practical aspects of SPIN model checking
- Author: ➤ International SPIN Workshop (5th 1999 Trento, Italy)
- Language: English
- Number of Pages: Median: 277
- Publisher: Springer
- Publish Date: 1999
“Theoretical and practical aspects of SPIN model checking” Subjects and Themes:
- Subjects: SPIN (Computer file) - Congresses - Verification - Computer software
Edition Identifiers:
- The Open Library ID: OL9063108M
- All ISBNs: 3540664998 - 9783540664994
First Setence:
"All CDCs that are summarized in this book have been conducted by the use of the same methodology."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Theoretical and practical aspects of SPIN model checking at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Model checking software
By Stefan Leue
“Model checking software” Metadata:
- Title: Model checking software
- Author: Stefan Leue
- Language: English
- Number of Pages: Median: 259
- Publisher: Springer
- Publish Date: 2002
“Model checking software” Subjects and Themes:
- Subjects: ➤ SPIN (Computer file) - Congresses - Verification - Computer software - Computer simulation - Testing - Data processing - Computer software, verification - Computer science - Software engineering - Logic design
Edition Identifiers:
- The Open Library ID: OL9719848M
- Online Computer Library Center (OCLC) ID: 49320468
- Library of Congress Control Number (LCCN): 2002021114
- All ISBNs: 9783540434771 - 3540434771
First Setence:
"Spin [2,3] is a model checker for the verification of software systems."
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model checking software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.