Formal Methods for Industrial Critical Systems

Type:

e-book

Titel:

Formal Methods for Industrial Critical Systems

Auteur:

Núñez; Güdemann, Matthias

Taal:

Engels

Uitgever:

Springer International Publishing 2015

ISBN:

3-319-19457-7
3-319-19458-5

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000416871