Interactive Systems. Design Specification, and Verification
Gilroy, Stephen W.|Harrison, Michael D.
ISBN 10: 3540341455 ISBN 13: 9783540341451
Verlag: Springer Berlin Heidelberg, 2006
Neu
Softcover
Verkäufer
moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
AbeBooks-Verkäufer seit 9. Juli 2020
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005Presents 20 revised full papers, 1 keynote paper, and 4 summaries of group discussionsTopics include . Bestandsnummer des Verkäufers 4888034
Inhaltsangabe:
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.
Reseña del editor:
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Interactive Systems. Design Specification, ...
Verlag: Springer Berlin Heidelberg
Erscheinungsdatum: 2006
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Interactive Systems. Design Specification, and Verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2006
ISBN 10: 3540341455
ISBN 13: 9783540341451
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions. Artikel-Nr. 9783540341451
Neu kaufen
EUR 57,68
EUR 62,23 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar