NASA Formal Methods

Full text!
Type:
e-book
Titel:
NASA Formal Methods
Auteur:
Havelund; Holzmann, Gerard; Joshi, Rajeev
Taal:
Engels
Uitgever:
Springer International Publishing 2015
ISBN:
3-319-17523-8
3-319-17524-6
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000404071