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
Medimops DE
53.24 EUR
Preis aktualisiert am: 16-06-2026 13:07:50
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 16-06-2026 19:19:47
Allgemein
Marke
Marc Frappier
ISBN
Marc Frappier 3642118100
MPN
Marc Frappier Illustrations
