Computer Aided Verification
de Gerard Berry, Hubert Comon, Alain Finkel
Ediciones (1)
- Computer Aided Verification (2003)
Springer London, Limited · inglés · ISBN 9783540445852
de Gerard Berry, Hubert Comon, Alain Finkel
Springer London, Limited · inglés · ISBN 9783540445852
