Interactive Systems. Design, Specification, and Verification
de Gavin Doherty, Ann Blandford
Materias
Ediciones (1)
- Interactive Systems. Design, Specification, and Verification (2007)
Springer London, Limited · inglés · ISBN 9783540695547
de Gavin Doherty, Ann Blandford
Springer London, Limited · inglés · ISBN 9783540695547