| 000 | 00921cam a22001934a 4500 | ||
|---|---|---|---|
| 005 | 20250605163248.0 | ||
| 008 | 250528s ||||||||||||||||||||||||d | ||
| 035 | _a15591 | ||
| 020 | _a198538367 | ||
| 040 |
_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2 |
||
| 245 | 1 | _aAn Introduction to Discrete Mathematics, Formal System Specification, and Z / Second Edition | |
| 250 | _a2nd | ||
| 260 |
_bClarendon Press _bInce D.C, _c1992 |
||
| 300 | _a286 | ||
| 520 | _aAn introduction to both the theory and practice of formal specification. Commercial Software Development, Customer Requirements and Specification, Propositional Calculus, Predicate Calculus, Set Theory, Relations, Functions and Sequences, The Specification Language Z, Operations and Objects in Z, The Z Schema Calculus, Some Small Z Examples, A Large Z Specification, Z and Design, Summary, Further Reading. | ||
| 942 | _cBK | ||
| 999 |
_c1161 _d1161 |
||