FM 2015 : Formal Methods
de Nikolaj Bjørner, Frank de Boer
Materias
Ediciones (2)
- FM 2015 : Formal Methods (2015)
Springer · ISBN 9783319192482
- FM 2015 : Formal Methods (2015)
Springer London, Limited · inglés · ISBN 9783319192499
de Nikolaj Bjørner, Frank de Boer
Springer · ISBN 9783319192482
Springer London, Limited · inglés · ISBN 9783319192499
