Leveraging Applications of Formal Methods, Verification, and Validation
Full text!- Type:
- e-book
- Titel:
- Leveraging Applications of Formal Methods, Verification, and Validation
- Taal:
- Engels
- Uitgever:
- Springer Berlin Heidelberg 2010
- ISBN:
- 3-642-16557-5
3-642-16558-3 - Permalink:
- http://bibtest.howest.be/catalog/ebk03:2670000000056646