| 000 | 01071cam a22001934a 4500 | ||
|---|---|---|---|
| 005 | 20250605164119.0 | ||
| 008 | 250528s ||||||||||||||||||||||||d | ||
| 035 | _a18203 | ||
| 020 | _a273030000 | ||
| 040 |
_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2 |
||
| 245 | 1 | _aHigh-Integrity Software | |
| 260 |
_bPitman Publishing, _c1989 |
||
| 300 | _a360 | ||
| 520 | _aThe twelve chapters come from both professional and academic authorities and constitute essential reading for professional software engineers and systems designers in civil and military establishments. Introduction, Formal Specification and Implementation, Practical Experience with a Formal Verification System, Reliable Programming in Standard Languages, New Speak: A Reliable Programming Language, Program Analysis and Systematic Testing, Program Analysis and Verification, Assurance in High-Integrity Software, Modelling Real-World Issues for Dependable Software, Contractual specification of Reliable Software, Index. | ||
| 700 | 1 |
_aSennett T. C _94490 |
|
| 942 | _cBK | ||
| 999 |
_c3580 _d3580 |
||