Vista normal Vista MARC Vista ISBD

Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings / Aarti Gupta, Sharad Malik, editors. - Berlin : Springer 2008. - xvii, 558 p. : il. ; 24 cm. - Lecture notes in computer science v. 5123 LNCS ; v. 5123 .

ISBN: 9783540705437

Descriptores--Materias:
Lógica y significado de programas.
Verificación de programas.
Software-Herramientas y técnicas.
Lógica matemática.
Asistencia de diseños.
Sistemas con propósito y aplicaciones especiales.
Logics and meanings of programs.
Program verification.
Software-Tools and tecniques.
Mathematical logic.
Deductton and theorem proving.
Design aids.
Special-purpose and application-based systems.