Search Results
Showing Item 10 of 11
PreviousNext
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
Record details
- ISBN: 9783540343059
-
Physical Description:
electronic
electronic resource
access
remote
VII, 243 p. Also available online. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Search for related items by subject
Search for related items by series
Search Results
Showing Item 10 of 11
PreviousNext