Cargando…

Formal Methods Applied to Industrial Complex Systems : Implementation of the B Method.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Boulanger, Jean-Louis
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Wiley-ISTE, 2014.
Colección:Computer engineering series.
Temas:
Acceso en línea:Texto completo

Ejemplares similares