DHL Abholort 4.69 Hermes Kurierdienst 4.99 DHL-Kurier 3.99 Hermes-Stelle 4.49 GLS-Kurierdienst 3.99

Design, Specification and Verification of Interactive Systems '97

Sprache EnglischEnglisch
Buch Broschur
Buch Design, Specification and Verification of Interactive Systems '97 Michael D. Harrison
Libristo-Code: 02172043
Verlag Springer Verlag GmbH, November 1997
An increasing recognition of the role of the human-system interface is leading to new extensions and... Vollständige Beschreibung
? points 177 b
70.52 inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware


Das könnte Sie auch interessieren


An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

Informationen zum Buch

Vollständiger Name Design, Specification and Verification of Interactive Systems '97
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1997
Anzahl der Seiten 320
EAN 9783211830550
ISBN 3211830553
Libristo-Code 02172043
Gewicht 660
Abmessungen 170 x 244 x 15
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto