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

Código QR

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

Internet

Ver documento en línea

Sistema de Bibliotecas de la Universidad de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas de la Universidad de Costa Rica
Copia	Disponible