Interactive Systems. Design, Specification, and Verification, Fachbücher von Joaquim Jorge, Nuno Jardim Nunes, João Falc...
53,49 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
