Provably Correct Systems
de Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
Materias
Ediciones (2)
- Provably Correct Systems (2018)
Springer · ISBN 9783319839806
- Provably Correct Systems (2017)
Springer · ISBN 9783319486277
Más obras de Mike Hinchey
