Specification and Verification of Concurrent Systems
Ediciones (2)
- Specification and Verification of Concurrent Systems (2014)
Springer · ISBN 9781447135357
- Specification and Verification of Concurrent Systems (2013)
Springer London, Limited · inglés · ISBN 9781447135340
