Results

Book cover

Interactive Systems. Design, Specification, and Verification

10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers

© 2003

Soft cover - Print (ISBN: 978-3-540-20159-5)

Electronic (ISBN: 978-3-540-39929-2)

View this book on SpringerLink

Download Product Archive File - 978-3-540-39929-2 Download product archive files for 978-3-540-39929-2