Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	CAV (Conference) (18th : 2006 : Seattle, Wash.)
Imprint:	Berlin ; New York : Springer, ©2006.
Description:	1 online resource (xv, 564 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 4144 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 4144. LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject:	Computer software -- Verification -- Congresses. Integrated circuits -- Verification -- Congresses. Computer software -- Verification. Integrated circuits -- Verification. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11069296

Hidden Bibliographic Details
Varying Form of Title:	CAV 2006
Other authors / contributors:	Ball, Thomas, 1965- Jones, Robert B. (Robert Brent), 1969-
ISBN:	9783540374114 3540374116 9783540374060 354037406X
Notes:	Includes bibliographical references and index. Print version record.
Other form:	Print version: CAV (Conference) (18th : 2006 : Seattle, Wash.). Computer aided verification. Berlin ; New York : Springer, ©2006 354037406X 9783540374060 Print version: CAV (Conference) (18th : 2006 : Seattle, Wash.). Computer aided verification. Berlin ; New York : Springer, ©2006 354037406X 9783540374060

Similar Items