Search Results
Showing Item 2 of 7
PreviousNext
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
E-book
Electronic resources
Record details
- ISBN: 9783642340321
-
Physical Description:
electronic
electronic resource
access
remote
XVI, 361 p. 129 illus. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.
Search for related items by subject
Search for related items by series
Search Results
Showing Item 2 of 7
PreviousNext