Design Specification and Verification of Interactive Systems 96
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
04-08-2026 18:12:58
Gesponsert
SpringerLink DE
Design, Specification and Verification of Interactive Systems ’96
SpringerLink DE
05-08-2026 14:55:36
