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 |
Descripción Física: | 1 online resource. |
---|---|
Bibliografía: | Includes bibliographical references and index. |
ISBN: | 132200773X 9781322007731 9781119002680 1119002680 9781848217096 1848217099 |