• Libros
  • AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
HUNG, DANG VAN
Inglés
EAN
9783319024431
Editorial
Año de edición
2013
Idioma
Inglés
Colección
Lecture Notes in Computer Science
Alto
235
Ancho
155
Otros lectores lo han calificado con
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres