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