Cover Image

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: CAV (Conference) Boston, MA)
Other Authors: Alur, Rajeev, 1966-, Peled, Doron A., 1962-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 3114.
Subjects:
Computer software > Verification > Congresses.
Integrated circuits > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.
Online Access:http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3114

Internet

http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3114

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.V47 C38 2004
 
Call Number Status Get It
QA76.76.V47 C38 2004 Available