Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5-6, 2000 Revised Papers ... Notes in Computer Science, 1946, Band 1946)
Dieses Buch präsentiert die Ergebnisse des siebten internationalen Workshops zur Gestaltung, Spezifikation und Verifizierung interaktiver Systeme aus ...