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)

In den Proceedings der ABZ‑Konferenz 2018 finden Sie tiefgehende Analysen zu abstrakten Zustandsmaschinen, Alloy, B, TLA, VDM und Z, ergänzt durch ...
Computer Science
Wo zu kaufen (3) Eigenschaften
Gesponsert
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)
Medimops DE
53.49 EUR
Preis aktualisiert am: 16-06-2026 12:37:03
Siehe Produktangebot
Gesponsert
Abstract State Machines, Alloy, B, TLA, VDM, and Z
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 16-06-2026 19:20:41
Siehe Produktangebot
Gesponsert
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Fachbücher
Galaxus.de
53.49 EUR
Preis aktualisiert am: 16-06-2026 02:30:56
Siehe Produktangebot

Allgemein

Marke
Michael Butler
ISBN
Michael Butler 3319912704

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, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science)
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science)
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
Menü