Formal Methods for Industrial Critical Systems

Full text!
Type:
e-book
Titel:
Formal Methods for Industrial Critical Systems
Auteur:
Lang; Flammini, Francesco; Lang, édéric
Taal:
Engels
Uitgever:
Springer International Publishing 2014
ISBN:
3-319-10701-1
3-319-10702-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000228642