Abstract State Machines, Alloy, B, VDM, and Z
53.49 EUR
Ein Fachband aus der dritten ABZ-Konferenz in Pisa, der die neuesten Forschungsergebnisse zu abstrakten Zustandsmaschinen, Alloy, B, VDM und Z zusammenfasst; er beleuchtet theoretische Konzepte und deren Anwendung in komplexen Softwaresystemen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)
Medimops DE
18-05-2026 12:52:50
Hugendubel 
SpringerLink DE Ähnliche Produkte
ABZ 2014: The Landing Gear Case Study
53.49 EUR
