Artículos relacionados a Automated Technology for Verification and Analysis

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.

  • EditorialSpringer
  • Año de publicación2008
  • ISBN 10 3540816461
  • ISBN 13 9783540816461
  • EncuadernaciónPaperback
  • IdiomaInglés
  • Número de páginas524
  • EditorPeled Doron A., Tsay Yih-Kuen
  • 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

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