
Interactive Systems: Design, Specification, and Verification
Ediciones (2)
- Interactive Systems. Design, Specification, and Verification (2003)
Springer London, Limited · inglés · ISBN 9783540446750
- Interactive Systems: Design, Specification, and Verification (1995)
Springer · inglés · ISBN 9783540594802
