Formal method : industrial use from model to the code /

Guardado en:

Detalles Bibliográficos
Otros Autores:	Boulanger, Jean-Louis
Formato:	Electrónico eBook
Lenguaje:	inglés
Publicado:	London : ISTE ; 2012. Hoboken, N.J. : Wiley, 2012.
Colección:	Industrial implementation of formal methods series.
Materias:	Railroads > Management > Data processing. Formal methods (Computer science) Application software > Development. Electronic books.
Acceso en línea:	https://elibro.net/ereader/ipchile/187070
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet