Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... ... Cyprus, March 20-29, 2010, Pro - Tapa blanda

 
9783642120039: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... ... Cyprus, March 20-29, 2010, Pro
Tapa blanda
ISBN 10: 3642120032 ISBN 13: 9783642120039
Editorial: Springer, 2011

Esta edición ISBN ya no está disponible.

Editorial
Springer
Año de publicación
2011
Idioma
Inglés
ISBN 10 
3642120032
ISBN 13 
9783642120039
Encuadernación
Paperback
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783642120015: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... ... 2010, Paphos, Cyprus, March 20-29, 2010, Pro

Edición Destacada

ISBN 10:  3642120016 ISBN 13:  9783642120015
Editorial: Springer, 2010
Tapa blanda