• Libros
  • AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
HUNG, DANG VAN
Anglais
EAN
9783319024431
Éditorial
Année d'édition
2013
langage
Anglais
Collection
Lecture Notes in Computer Science
Haute
235
Largeur
155
Otros lectores lo han calificado con
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres