Normal view MARC view ISBD view

Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns.

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 D36 2007 (Browse shelf(Opens below))	Link to resource	1	Available	Springerlink		BDIG00008741

Previous								Next
Previous	QA76.76.T48 G87 2007 Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /	QA76.76.V47 B35 2006 Computer Aided Verification	QA76.76.V47 B56 2007 Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /	QA76.76.V47 D36 2007 Computer Aided Verification	QA76.76.V47 E34 2007 Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /	QA76.76.V47 E84 2005 Computer Aided Verification	QA76.76.V47 G63 2005 Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /	Next

There are no comments on this title.

to post a comment.