Interactive Systems. Design Specification and Verification

~~59.00 EUR~~ 53.49 EUR 9% Off

Dieses Werk sammelt die wichtigsten Ergebnisse des siebten internationalen Workshops zur Gestaltung, Spezifikation und Verifizierung interaktiver Systeme aus Limerick (Juni 2000). Es bietet theoretische Modelle, praxisnahe Fallstudien und neue Ansätze für die Analyse und Validierung komplexer Interaktionssysteme.