Artículos relacionados a Computer Aided Verification

Computer Aided Verification ISBN 13: 9783540840237

Computer Aided Verification - Tapa blanda

 
9783540840237: Computer Aided Verification
Tapa blanda
ISBN 10: 3540840230 ISBN 13: 9783540840237
Editorial: Springer, 2008

Esta edición ISBN ya no está disponible.

Editorial
Springer
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3540840230
ISBN 13 
9783540840237
Encuadernación
Paperback
Número de páginas
584
Editor
Damm Werner, Hermanns Holger
Contacto del fabricante
no disponible
Persona responsable
no 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

9783540733676: Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings: 4590 (Theoretical Computer Science and General Issues)

Edición Destacada

ISBN 10:  3540733671 ISBN 13:  9783540733676
Editorial: Springer, 2007
Tapa blanda