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

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
Descripción
ISBN:9783319414805

Ejemplares similares