Computer Aided Verification
de Jr. Warren A. Hunt, Fabio Somenzi
Ediciones (2)
- Computer Aided Verification (2014)
Springer · ISBN 9783662186855
- Computer Aided Verification (2011)
Springer London, Limited · inglés · ISBN 9783540450696
de Jr. Warren A. Hunt, Fabio Somenzi
Springer · ISBN 9783662186855
Springer London, Limited · inglés · ISBN 9783540450696