Automatic methods for the refinement of system models : from the specification to the implementation /

Detalles Bibliográficos
Formato: Libro
Publicado: c2017.
Acceso en línea:Ver documento en línea

Ejemplares similares