ZB 2005: Formal Specification and Development in Z and B
Ein praxisnahes Sammelwerk aus der vierten internationalen Konferenz zu B‑ und Z‑Spezifikationen, das aktuelle Forschungsbeiträge, Fallstudien und methodische Ansätze zur formalen Entwicklung in Guildford präsentiert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
ZB 2005: Formal Specification and Development in Z and B
SpringerLink DE
26-04-2026 16:23:44
Ähnliche Produkte
ABS K15338 Handbremsseile
21.30 EUR
Tekken 6 Premium Edition
7.49 EUR
Phoenix Contact Montageband ZB 10
1.79 EUR