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) 74,89 EUR*

Details

  • Kategorie: Diverse Bücher
  • Preis: 74,89 EUR*
  • Lieferzeit: Versandfertig in 4 - 5 Werktagen
  • EAN: 9783540416630
  • Händler: Amazon.de
    Amazon.de
Zum Angebot Interactive Systems. Design, Specification, and Verification The papers from post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, 2000, are organized in sections, including: designing ...