Formal Methods : Foundations and Applications
de Leila Ribeiro, Thierry Lecomte
Materias
Ediciones (2)
- Formal Methods : Foundations and Applications (2017)
Springer · inglés · ISBN 9783319498157
- Formal Methods : Foundations and Applications (2016)
Springer International Publishing AG · inglés · ISBN 9783319498140