Artículos relacionados a Computer Aided Verification: 6th International Conference,...

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings (Lecture Notes in Computer Science) - Tapa blanda

 
9780387581798: Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings (Lecture Notes in Computer Science)

Esta edición ISBN ya no está disponible.

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783540581796: Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings: 818 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540581790 ISBN 13:  9783540581796
Editorial: Springer, 2008
Tapa blanda