NASA Formal Methods

Full text!
Format:
e-book
Title:
NASA Formal Methods
Author:
Julia M. Badger, Kristin Yvonne Rozier; Kittler, Josef; Rozier, Kristin Yvonne
Language:
English
Publisher:
Springer International Publishing 2014
ISBN:
3-319-06199-2
3-319-06200-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000106754?locale=en