Design Specification and Verification of Interactive Systems 96
53.49 EUR
Ein Fachbuch aus dem Eurographics‑Workshop 1996 in Belgien, das die Prinzipien des Entwurfs, der Spezifikation und der Verifikation interaktiver Systeme beleuchtet; es verbindet theoretische Modelle mit praxisnahen Fallstudien aus Namur.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Design, Specification and Verification of Interactive Systems '96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996
Medimops DE
30-04-2026 12:16:03
Gesponsert
SpringerLink DE
Design, Specification and Verification of Interactive Systems ’96
SpringerLink DE
30-04-2026 14:13:49
