| 000 | 00523cam a2200169 4500 | ||
|---|---|---|---|
| 001 | 0000013033 | ||
| 008 | 231118s9999 xx 000 0 und d | ||
| 020 | 0 | 0 | _a0201175177 |
| 040 | _aPJB | ||
| 090 | 0 |
_aQA76.73. _bA35 B26 1997 |
|
| 100 | 0 | 0 | _aBarnes, John |
| 245 | 0 | 0 |
_aHigh integrity Ada:the SPARK approach _cJohn Barnes |
| 260 | 0 | 0 |
_aHarlow _bAddison-Wesley _c1997 |
| 300 |
_axvi, 368p. : _bill. _c24cm. + 1 computer laser optical dics (4 3/4in.) |
||
| 500 | 0 | 0 | _ainclude index |
| 650 | 0 | 0 | _aAda (Computer program language) |
| 999 |
_c131362 _d131362 |
||