Formal Methods for Distributed Processing
de Howard Bowman, John Derrick
Materias
Ediciones (2)
- Formal Methods for Distributed Processing (2021)
Cambridge University Press · inglés · ISBN 9780511583902
- Formal Methods for Distributed Processing (2011)
Cambridge University Press · inglés · ISBN 9780521168755
