Normal view MARC view ISBD view

Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg.

By:

Contributor(s):

Material type:

Subject(s):

LOC classification:

Online resources:

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	URL	Copy number	Status	Notes	Date due	Barcode
Libro Electrónico	Biblioteca Digital Colección Digital	QA76.76.V47 H38 2008 (Browse shelf(Opens below))	Link to resource	1	Available	Springer link		BDIG00011015

Previous								Next
Previous	QA76.76.V47 G63 2005 Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /	QA76.76.V47 G78 2008 25 Years of Model Checking	QA76.76.V47 G87 2008 Computer Aided Verification	QA76.76.V47 H38 2008 Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /	QA76.76.V47 R47 2007 Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /	QA76.76.V47 U7 2006 Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /	QA76.76.V47 V35 2006 Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings /	Next

There are no comments on this title.

to post a comment.