Artículos relacionados a Tools and Algorithms for the Construction and Analysis...

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

Esta edición ISBN ya no está disponible.

  • EditorialSpringer
  • Año de publicación2011
  • ISBN 10 3642198368
  • ISBN 13 9783642198366
  • EncuadernaciónPaperback
  • IdiomaInglés
  • Número de páginas412
  • EditorAbdulla Parosh Aziz, Leino K. Rustan M.
  • Contacto del fabricanteno 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

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