Formal Methods : Foundations and Applications
de Márcio Cornélio, Bill Roscoe
Materias
Ediciones (2)
- Formal Methods : Foundations and Applications (2016)
Springer London, Limited · inglés · ISBN 9783319294735
- Formal Methods : Foundations and Applications (2016)
Springer · ISBN 9783319294728