Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer Science)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 01-05-2026 07:30:15
Siehe Produktangebot
Gesponsert
Abstract State Machines, B and Z
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 30-04-2026 14:23:32
Siehe Produktangebot
Gesponsert
Abstract State Machines, B and Z, Fachbücher von Michael Butler, Jonathan P. Bowen, Egon Börger, Paul Boca
Galaxus.de
53.49 EUR
Preis aktualisiert am: 30-04-2026 12:26:11
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Stärk, Robert: Abstract State Machines
Stärk, Robert: Abstract State Machines
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, 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
Abstract State Machines Alloy B TLA VDM and Z
Produkt anzeigen
Abstract Compositional Analysis of Iterated Relations
Abstract Compositional Analysis of Iterated Relations
Produkt anzeigen
Menü