| 000 | 00490nam a2200181Ia 4500 | ||
|---|---|---|---|
| 005 | 20250423101054.0 | ||
| 008 | 250422s9999 xx 000 0 und d | ||
| 020 | _a013881483X | ||
| 050 | _aQA 76.9 .S88 M37/ | ||
| 100 | _aMartin, James | ||
| 245 | 0 | _aSystem design from provably correct constructs | |
| 260 | _aEnglewood Cliffs | ||
| 260 | _bPrentice Hall | ||
| 260 | _c1985 | ||
| 300 | _a392 p | ||
| 650 | _aSystem design . Electronic digital computers_Programming. | ||
| 942 | _cBK | ||
| 999 |
_c35200 _d35200 |
||