Boulanger, Jean-Louis

Autore
E-book, CENELEC 50128 and IEC 62279 Standards, Wiley
E-book, Formal Methods Applied to Complex Systems : Implementation of the B Method, Wiley
E-book, Formal Methods Applied to Industrial Complex Systems, Wiley
E-book, Formal Methods : Industrial Use from Model to the Code, Wiley
Pagina 1 di 1