Bøger af J. M. (University of Oxford) Spivey
Filter
Sorter efterSorter
Populære
-
- A Specification Language and its Formal Semantics
438,95 kr. The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.
- Bog
- 438,95 kr.