Vista normal Vista MARC Vista ISBD

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / CAV 2006 Thomas Ball, Robert B. Jones, eds. - xv, 564 páginas : ilustraciones - Lecture notes in computer science ; 4144 . - Lecture notes in computer science .

ISBN: 354037406X 9783540374060

Subjects--Topical Terms:
Software para computadora--Verificación--Congresos
Circuitos integrados--Constatación--Congresos

LC Class. No.: QA76.76V47 / C38 2006

Dewey Class. No.: 004.24