Verified Software: Theories, Tools, and Experiments

Full text!
Type:
e-book
Titel:
Verified Software: Theories, Tools, and Experiments
Auteur:
Arie Gurfinkel, Sanjit A. Seshia; Seshia, Sanjit A.
Taal:
Engels
Uitgever:
Springer International Publishing 2016
ISBN:
3-319-29612-4
3-319-29613-2
Permalink:
http://bibtest.howest.be/catalog/ebk03:4340000000001287