Formal Methods Applied to Industrial Complex Systems : Implementation of the B Method.
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Wiley-ISTE,
2014.
|
Colección: | Computer engineering series.
|
Temas: | |
Acceso en línea: | Texto completo |