- Libros
- LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLO
- Libros
- LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLO
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLO
MARGARIA, TIZIANA
Anglais
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLO
MARGARIA, TIZIANAEAN
9783662452332
Éditorial
Année d'édition
2014
langage
Anglais
Collection
Lecture Notes in Computer Science
Haute
235
Largeur
155