Leveraging Applications of Formal Methods, Verification and Validation

Full text!
Format:
e-book
Title:
Leveraging Applications of Formal Methods, Verification and Validation
Author:
Tiziana Margaria, Bernhard Steffen.; Margaria, Tiziana; Steffen, Bernhard
Language:
English
Publisher:
Springer Berlin Heidelberg 2008
ISBN:
3-540-88478-5
9786611872106
1-281-87210-5
3-540-88479-3
Subject:
Information Technology Software Engineering
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000545844?locale=en