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)

Ein Fachband aus der ABZ‑Konferenz in Pisa, der die neuesten Erkenntnisse zu abstrakten Zustandsmaschinen, Alloy, B, VDM und Z präsentiert; er verb ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
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
53.49 EUR
Preis aktualisiert am: 16-06-2026 13:08:04
Siehe Produktangebot
Gesponsert
Abstract State Machines Alloy B VDM and Z
Hugendubel
53.49 EUR
Preis aktualisiert am: 16-06-2026 23:47:33
Siehe Produktangebot
Gesponsert
Abstract State Machines, Alloy, B, VDM, and Z
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 16-06-2026 19:20:03
Siehe Produktangebot

Allgemein

Marke
John Derrick
MPN
John Derrick 133 black & white illustrations
ISBN
John Derrick 3642308848

Eigenschaften

Ähnliche Produkte

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science)
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Lecture Notes in Computer Science, Band 10817)
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Lecture Notes in Computer Science, Band 10817)
Produkt anzeigen
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... Computer and Information Science, Band 433)
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... Computer and Information Science, Band 433)
Produkt anzeigen
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes in Computer Science)
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Abstract State Machines Alloy B TLA VDM and Z
Abstract State Machines Alloy B TLA VDM and Z
Produkt anzeigen
Abstract State Machines Alloy B VDM and Z
Abstract State Machines Alloy B VDM and Z
Produkt anzeigen
Menü