Interactive Systems. Design, Specification, and Verification
de Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha
Ediciones (1)
- Interactive Systems. Design, Specification, and Verification (2003)
Springer London, Limited · inglés · ISBN 9783540399292
