Normal view MARC view ISBD view

Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / edited by Thomas Reps, Mooly Sagiv, Jörg Bauer.

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

Previous								Next
Previous	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 /	QA76.76.V47 y67 2008 Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /	Next

There are no comments on this title.

to post a comment.