| 000 | 01051cam a22002054a 4500 | ||
|---|---|---|---|
| 005 | 20250605163959.0 | ||
| 008 | 250528s ||||||||||||||||||||||||d | ||
| 035 | _a15582 | ||
| 020 | _a77077350 | ||
| 040 |
_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2 |
||
| 245 | 1 | _aThe Construction of Formal Specifications / An Introduction to the Model-Based and Algebraic Approaches | |
| 260 |
_bMcgraw Hill Book Company, _c1994 |
||
| 300 | _a420 | ||
| 520 | _aAn accessible guide to the widely used VDM and algebraic approaches to the formal specification of software systems. Preface, Introduction to Formal Specification, Mathematical Structure for Formal Specification, The Sequence and Map Types, Building up VDM Specifications, Algebraic Specification of Abstract Data Types, Algebras and Abstract Data Types, Building Larger Specifications, Prototyping Algebraic Specifications, Background and Comparison and Summary, Glossary, Index. | ||
| 700 | 1 |
_aMccluskey T.L _91539 |
|
| 700 | 1 |
_aTurner J.G _91540 |
|
| 942 | _cBK | ||
| 999 |
_c1152 _d1152 |
||