Formal methods applied to complex systems : implementation of the B method /

Guardado en:
Detalles Bibliográficos
Otros Autores: Boulanger, Jean-Louis (Editor)
Formato: Electrónico eBook
Lenguaje:inglés
Publicado: London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014.
Colección:Computer engineering series.
Materias:
Acceso en línea:https://elibro.net/ereader/ipchile/181796
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares: Formal methods applied to complex systems :