Interactive Systems : Design, Specification, and Verification
Ediciones (1)
- Interactive Systems : Design, Specification, and Verification (2003)
Springer London, Limited · inglés · ISBN 9783540455226
Springer London, Limited · inglés · ISBN 9783540455226
