Leveraging Applications of Formal Methods, Verification and Validation

Full text!
Type:
e-book
Titel:
Leveraging Applications of Formal Methods, Verification and Validation
Auteur:
Tiziana Margaria, Bernhard Steffen.; Margaria, Tiziana; Steffen, Bernhard
Taal:
Engels
Uitgever:
Springer Berlin Heidelberg 2008
ISBN:
3-540-88478-5
9786611872106
1-281-87210-5
3-540-88479-3
Onderwerp:
Information Technology Software Engineering
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000545844