Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Pro - Tapa blanda

 
9783642198366: Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Pro
Tapa blanda
ISBN 10: 3642198368 ISBN 13: 9783642198366
Editorial: Springer, 2011

Esta edición ISBN ya no está disponible.

Editorial
Springer
Año de publicación
2011
Idioma
Inglés
ISBN 10 
3642198368
ISBN 13 
9783642198366
Encuadernación
Paperback
Número de páginas
412
Editor
Abdulla Parosh Aziz, Leino K. Rustan M.
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783642198342: Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ... Computer Science and General Issues)

Edición Destacada

ISBN 10:  3642198341 ISBN 13:  9783642198342
Editorial: Springer-Verlag Berlin and Heide..., 2011
Tapa blanda