ZUM '98: The Z Formal Specification Notation

Ein kompakter Leitfaden aus Berlin 1998, der die Z‑Notation für formale Spezifikationen detailliert erläutert und praxisnahe Beispiele sowie theor ...

Allgemein

Marke
Bowen, Jonathan P.
ISBN
Bowen, Jonathan P. 9783540650706
MPN
Bowen, Jonathan P. bibliography

Eigenschaften

Menü