Releases von Philippe et Al Palanque

Cover for Philippe et Al Palanque · Interactive Systems. Design, Specification, and Verification: 7th International Workshop, Dsv-is 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers - Lecture Notes in Computer Science (Taschenbuch) (2001)
Taschenbuch
Interactive Systems. Design, Spe...
Philippe et Al Palanque