Understanding Z
A Specification Language and its Formal Semantics
Szerző:
J. M. Spivey
Elérhetőség:
Beszállítói készleten
Küldés 9-15 napon belül
18 736
Ft
The Z notation is a language for expressing mathematical specifications of computing systems. By pro...