Automated Technology for Verification and Analysis · Colección completa · Biblioteca Digital UTN

Skip to main content

Automated Technology for Verification and Analysis

Elemento

Título: Automated Technology for Verification and Analysis
Autores: Hung
Año Publicación: 2013
Editorial: Springer International Publishing
ISBN: 978-3-319-02443-1
eBook: 978-3-319-02444-8
PDF: https://cutt.ly/fhvFHYl

Colecciones: Springer