Verified Software : Theories, Tools, and Experiments
de Arie Gurfinkel, Sanjit A. Seshia
Materias
Ediciones (2)
- Verified Software : Theories, Tools, and Experiments (2016)
Springer · ISBN 9783319296128
- Verified Software : Theories, Tools, and Experiments (2016)
Springer London, Limited · inglés · ISBN 9783319296135