Abstract State Machines, Alloy, B and Z | Kaicus Deutschland

Abstract State Machines, Alloy, B and Z

Die ABZ‑Konferenz‑Proceedings 2010 bieten einen tiefen Einblick in formale Spezifikationsmethoden: von abstrakten Zustandsmaschinen über Alloy bis zu B und Z, mit neuen theoretischen Ansätzen und praxisnahen Fallstudien aus Orford.

Marke: Marc Frappier
ISBN: 3642118100
MPN: Illustrations
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen