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 ...

Allgemein

Marke
Philippe Palanque
ISBN
Philippe Palanque 3540416633
MPN
Philippe Palanque Illustrations

Eigenschaften

Menü