Interactive Systems
Interactive Systems Design, Specification and Verification
Edited by Chris Johnson
- Berlin Springer Verlag 2001
- xii, 217p 23cm
- Lecture Notes in Computer Science 2220 .
Includes Author Index
3540428070
Interactive Systems
Includes Author Index
3540428070
Interactive Systems