Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
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.