Saltar al contenido principal

Come join our latest LibraryThing Hunt!

SeriesComputer Aided Verification

Autores de la serie: Kousha Etessami, Sriram K. Rajamani

2 Obras Popularidad 162,721 (4 Miembros) 4 Libros 0 Reseñas

Computer Aided Verification 1996 por Rajeev Alur

Computer Aided Verification 2005 por Kousha Etessami

Cuento Publicación

Computer Aided Verification 1996 por Rajeev Alur 1 copia	Orden:8
Computer Aided Verification 2005 por Kousha Etessami 3 copias	Orden:17

Etiquetas

ai(1) computer science(2) conference proceedings(1) non-fiction(1) software verification(1)

Miembros Principales

hogank (1 obras), henny (1), dakvid (1)

Series relacionadas

Se solapa con

Lecture Notes in Computer Science

Enlaces

Colaboradores

Serie de Conocimiento Común

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Este sitio utiliza cookies para ofrecer nuestros servicios, mejorar el rendimiento, análisis y (si no estás registrado) publicidad. Al usar LibraryThing reconoces que has leído y comprendido nuestros términos de servicio y política de privacidad. El uso del sitio y de los servicios está sujeto a estas políticas y términos.