Hero image 0 of Lecture Notes in Computer Science Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Book 2057, (Paperback), 0 of 1
Lecture Notes in Computer Science Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Book 2057, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Book 2057, (Paperback)
- Author: Springer
- ISBN: 9783540421245
- Format: Paperback
- Publication Date: 2001-05-02
- Page Count: 318
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateMay, 2001
- Pages318
- Number in series2057
Current price is USD$56.14
Price when purchased online
- Free shipping
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives by Tue, May 12
|
Sold and shipped by Alibris Books
4.567108944850618 stars out of 5, based on 11079 seller reviews(4.6)11079 seller reviews
Free 30-day returns
Other sellers
$60.29
+ $7.98 shippingShipping, arrives by Mon, May 11 to Columbus, 43215
Sold and shipped by Best Prices & Service
Free 30-day returns
About this item
Product details
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.
The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.
The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.
The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.
The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.
- Lecture Notes in Computer Science Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Book 2057, (Paperback)
- Author: Springer
- ISBN: 9783540421245
- Format: Paperback
- Publication Date: 2001-05-02
- Page Count: 318
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
May, 2001
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 2023, Ames, Ia, Usa, October 23, Book 14095, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 2023, Ames, Ia, Usa, October 23, Book 14095, (Paperback)
Lecture Notes in Computer Science Social, Cultural, and Behavioral Modeling: 15th International Conference, Sbp-Brims 2022, Pittsburgh, Pa, Usa, September, Book 13558, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Social, Cultural, and Behavioral Modeling: 15th International Conference, Sbp-Brims 2022, Pittsburgh, Pa, Usa, September, Book 13558, (Paperback)
Argumentation in Multi-Agent Systems: 7th International Workshop, ArgMAS 2010, Toronto, ON, Canada, May 10, 2010, Revise, (Paperback) $54.99
$5499current price $54.99Argumentation in Multi-Agent Systems: 7th International Workshop, ArgMAS 2010, Toronto, ON, Canada, May 10, 2010, Revise, (Paperback)
Runtime Verification: 5th International Conference, RV 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings, (Paperback) $56.14
$5614current price $56.14Runtime Verification: 5th International Conference, RV 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings, (Paperback)
Lecture Notes in Computer Science Algorithms and Data Structures: 6th International Workshop, Wads'99 Vancouver, Canada, August 11-14, 1999 Proceedings, Book 1663, (Paperback) $49.01 Was $54.99
$4901current price $49.01, Was $54.99$54.99Lecture Notes in Computer Science Algorithms and Data Structures: 6th International Workshop, Wads'99 Vancouver, Canada, August 11-14, 1999 Proceedings, Book 1663, (Paperback)
Lecture Notes in Computer Science Principles of Digital Document Processing: 4th International Workshop, Poddp'98 Saint Malo, France, March 29-30, 1998 Pr, Book 1481, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Principles of Digital Document Processing: 4th International Workshop, Poddp'98 Saint Malo, France, March 29-30, 1998 Pr, Book 1481, (Paperback)
Lecture Notes in Computer Science Information Hiding: 6th International Workshop, Ih 2004, Toronto, Canada, May 23-25, 2004, Revised Selected Papers, Book 3200, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Information Hiding: 6th International Workshop, Ih 2004, Toronto, Canada, May 23-25, 2004, Revised Selected Papers, Book 3200, (Paperback)
Lecture Notes in Computer Science Multiple Classifier Systems: 4th International Workshop, MCS 2003, Guilford, Uk, June 11-13, 2003, Proceedings, Book 2709, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Multiple Classifier Systems: 4th International Workshop, MCS 2003, Guilford, Uk, June 11-13, 2003, Proceedings, Book 2709, (Paperback)
Lecture Notes in Computer Science Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September , Book 1885, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September , Book 1885, (Paperback)
Lecture Notes in Computer Science Generative Programming and Component Engineering: Third International Conference, Gpce 2004, Vancouver, Canada, October , Book 3286, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Generative Programming and Component Engineering: Third International Conference, Gpce 2004, Vancouver, Canada, October , Book 3286, (Paperback)
Lecture Notes in Computer Science Algorithms and Data Structures: 5th International Workshop, Wads '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Pr, Book 1272, (Paperback) $52.82
$5282current price $52.82Lecture Notes in Computer Science Algorithms and Data Structures: 5th International Workshop, Wads '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Pr, Book 1272, (Paperback)
Lecture Notes in Computer Science Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000. Revised Selected Pap, Book 2071, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000. Revised Selected Pap, Book 2071, (Paperback)
Lecture Notes in Computer Science Information Theory and Applications II: 4th Canadian Workshop, Lac Delage, Quebec, Canada, May 28 - 30, 1995, Selected P, Book 1133, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Information Theory and Applications II: 4th Canadian Workshop, Lac Delage, Quebec, Canada, May 28 - 30, 1995, Selected P, Book 1133, (Paperback)
Lecture Notes in Computer Science Algorithms and Data Structures: 2nd Workshop, Wads '91, Ottawa, Canada, August 14-16, 1991. Proceedings, Book 519, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Algorithms and Data Structures: 2nd Workshop, Wads '91, Ottawa, Canada, August 14-16, 1991. Proceedings, Book 519, (Paperback)
Numerical Software Verification: 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Se, (Paperback) $63.29
$6329current price $63.29Numerical Software Verification: 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Se, (Paperback)
Lecture Notes in Computer Science Software Engineering Environments: International Workshop on Environments, Chinon, France, September 18-20, 1989. Procee, Book 467, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Software Engineering Environments: International Workshop on Environments, Chinon, France, September 18-20, 1989. Procee, Book 467, (Paperback)
Lecture Notes in Computer Science Distributed Multimedia Information Retrieval: Sigir 2003 Workshop on Distributed Information Retrieval, Toronto, Canada,, Book 2924, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Distributed Multimedia Information Retrieval: Sigir 2003 Workshop on Distributed Information Retrieval, Toronto, Canada,, Book 2924, (Paperback)
Lecture Notes in Computer Science Automata Implementation: Second International Workshop on Implementing Automata, Wia'97, London, Ontario, Canada, Septem, Book 1436, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Automata Implementation: Second International Workshop on Implementing Automata, Wia'97, London, Ontario, Canada, Septem, Book 1436, (Paperback)
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, Vecos 2017, Montreal, , (Paperback) $62.11
$6211current price $62.11Verification and Evaluation of Computer and Communication Systems: 11th International Conference, Vecos 2017, Montreal, , (Paperback)
Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceed, (Paperback) $54.99
$5499current price $54.99Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceed, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
