Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Ein Leitfaden für die formale Spezifikation von Software, der algebraische Konzepte klar erklärt und zeigt, wie man durch präzise Modellierung zuve ...

Allgemein

Marke
Donald Sannella
ISBN
Donald Sannella 3642440657
MPN
Donald Sannella biography

Eigenschaften

Menü