Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, (Paperback)
(No ratings yet)
Key item features
- Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, (Paperback)
- Author: Springer
- ISBN: 9783540733690
- Format: Paperback
- Publication Date: 2007-06-21
- Page Count: 285
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date2007-07-01
- Pages285
- Series titleNo Series
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Tue, Apr 7
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (2)
Starting from $56.14
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
- Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, (Paperback)
- Author: Springer
- ISBN: 9783540733690
- Format: Paperback
- Publication Date: 2007-06-21
- Page Count: 285
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
Pub date
2007-07-01
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 Physics Jets from Stars and Galactic Nuclei: Proceedings of a Workshop Held at Bad Honnef, Germany, 3-7 July 1995, Book 471, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Physics Jets from Stars and Galactic Nuclei: Proceedings of a Workshop Held at Bad Honnef, Germany, 3-7 July 1995, Book 471, (Paperback)
Object-Oriented Technology. Ecoop 2007 Workshop Reader: Ecoop 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final R, (Paperback) $54.99
$5499current price $54.99Object-Oriented Technology. Ecoop 2007 Workshop Reader: Ecoop 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final R, (Paperback)
Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedin, (Paperback) $54.99
$5499current price $54.99Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedin, (Paperback)
Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, (Paperback) $54.99
$5499current price $54.99Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, (Paperback)
Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Re, (Paperback) $54.99
$5499current price $54.99Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Re, (Paperback)
Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Germany, July 1-2, 2007, (Paperback) $53.50
$5350current price $53.50Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Germany, July 1-2, 2007, (Paperback)
Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback) $54.99
$5499current price $54.99Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback)
Web Engineering: 12th International Conference, Icwe 2012, Berlin, Germany, July 23-27, 2012, Proceedings, (Paperback) $54.99
$5499current price $54.99Web Engineering: 12th International Conference, Icwe 2012, Berlin, Germany, July 23-27, 2012, Proceedings, (Paperback)
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2, (Paperback) $60.29
$6029current price $60.29Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2, (Paperback)
Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings, (Paperback) $54.99
$5499current price $54.99Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings, (Paperback)
Software Engineering for Self-Adaptive Systems: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revi, (Paperback) $54.99
$5499current price $54.99Software Engineering for Self-Adaptive Systems: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revi, (Paperback)
Logics in AI: European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992. Proceedings, (Paperback) $54.99
$5499current price $54.99Logics in AI: European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992. Proceedings, (Paperback)
Experimental Algorithms: 8th International Symposium Sea 2009, Dortmund, Germany, June 4-6, 2009, Proceedings, (Paperback) $60.29
$6029current price $60.29Experimental Algorithms: 8th International Symposium Sea 2009, Dortmund, Germany, June 4-6, 2009, Proceedings, (Paperback)
Graph-Based Representations in Pattern Recognition: 11th Iapr-Tc-15 International Workshop, Gbrpr 2017, Anacapri, Italy,, (Paperback) $54.99
$5499current price $54.99Graph-Based Representations in Pattern Recognition: 11th Iapr-Tc-15 International Workshop, Gbrpr 2017, Anacapri, Italy,, (Paperback)
Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback)
Autonomic Communication: First International Ifip Workshop, Wac 2004, Berlin, Germany, October 18-19, 2004, Revised Sele, (Paperback) $54.99
$5499current price $54.99Autonomic Communication: First International Ifip Workshop, Wac 2004, Berlin, Germany, October 18-19, 2004, Revised Sele, (Paperback)
Combinatorial Image Analysis: 11th International Workshop, Iwcia 2006, Berlin, Germany, June 19-21, 2006, Proceedings, (Paperback) $56.14
$5614current price $56.14Combinatorial Image Analysis: 11th International Workshop, Iwcia 2006, Berlin, Germany, June 19-21, 2006, Proceedings, (Paperback)
Lecture Notes in Computer Science Object-Based Distributed Programming: Ecoop '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings, Book 791, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Object-Based Distributed Programming: Ecoop '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings, Book 791, (Paperback)
Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback) $54.99
$5499current price $54.99Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback)
Mathematical Knowledge Management: 4th International Conference, Mkm 2005, Bremen, Germany, July 15-17, 2005, Revised Se, (Paperback) $54.99
$5499current price $54.99Mathematical Knowledge Management: 4th International Conference, Mkm 2005, Bremen, Germany, July 15-17, 2005, Revised Se, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
