Search Results
Showing Item 32 of 43
PreviousNext
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
Record details
- ISBN: 9783642314247
-
Physical Description:
electronic
electronic resource
access
remote
XVI, 789p. 192 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 32 of 43
PreviousNext