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)

Die Proceedings der ABZ‑Konferenz 2010 präsentieren tiefgehende Untersuchungen zu abstrakten Zustandsmaschinen, Alloy, B und Z, ergänzt durch aktu ...
Gesponsert
53.49 EUR
Preis aktualisiert am: 06-11-2026 09:55:57
Gesponsert
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:06:35

Allgemein

Marke
Marc Frappier
ISBN
Marc Frappier 3642118100
MPN
Marc Frappier Illustrations

Eigenschaften

Menü