Interactive Systems. Design, Specification, and Verification, Fachbücher von Joaquim Jorge, Nuno Jardim Nunes, João Falc...
Das Buch "Interactive Systems. Design, Specification, and Verification" bietet eine umfassende Sammlung von Forschungsergebni... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Interactive Systems. Design, Specification, and Verification" bietet eine umfassende Sammlung von Forschungsergebnissen, die aus dem 10. Internationalen Workshop zur Gestaltung, Spezifikation und Verifikation interaktiver Systeme hervorgegangen sind. Dieser Workshop fand im Juni 2003 auf der Insel Madeira, Portugal, statt. Die Sammlung umfasst 26 überarbeitete Volltexte und 5 überarbeitete Kurztexte, die alle durch einen strengen Begutachtungsprozess gegangen sind. Die Beiträge sind in thematische Abschnitte gegliedert, die sich mit verschiedenen Aspekten der interaktiven Systemgestaltung befassen, darunter Test und Evaluation, Web- und Gruppenanwendungen, Werkzeuge und Technologien, Aufgabenmodellierung, modellbasierte Gestaltung sowie UML und Spezifikationssprachen. Diese umfassende Sammlung richtet sich an Fachleute und Forscher, die sich mit den neuesten Entwicklungen in der Gestaltung und Verifikation interaktiver Systeme beschäftigen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer