Artículos relacionados a Automated Technology for Verification and Analysis:...

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings - Tapa blanda

 
9783642156441: Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Tapa blanda
ISBN 10: 3642156444 ISBN 13: 9783642156441
Editorial: Springer, 2011

Esta edición ISBN ya no está disponible.

Editorial
Springer
Año de publicación
2011
Idioma
Inglés
ISBN 10 
3642156444
ISBN 13 
9783642156441
Encuadernación
Paperback
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

9783642156427: Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings: 6252 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3642156428 ISBN 13:  9783642156427
Editorial: Springer-Verlag Berlin and Heide..., 2010
Tapa blanda