Automated Technology for Verification and Analysis - Tapa blanda

 
9783540816461: Automated Technology for Verification and Analysis
Tapa blanda
ISBN 10: 3540816461 ISBN 13: 9783540816461
Editorial: Springer, 2008

Esta edición ISBN ya no está disponible.

Editorial
Springer
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3540816461
ISBN 13 
9783540816461
Encuadernación
Paperback
Número de páginas
524
Editor
Peled Doron A., Tsay Yih-Kuen
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783540236108: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. ... 3299 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540236104 ISBN 13:  9783540236108
Editorial: Springer Berlin Heidelberg, 2008
Tapa blanda