| 000 | 00405nam a2200169Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20250306103402.0 | ||
| 008 | 230411s9999 xx 000 0 und d | ||
| 040 | _cddc | ||
| 082 | _a621.392 JAC | ||
| 100 | _aJacvson (Daniel) | ||
| 245 | 0 | _aSoftware Abstractions Logic Languages and Analysis | |
| 250 | _a1st | ||
| 260 |
_b PHI _aNew Delhi |
||
| 300 | _axiv 350 p | ||
| 942 |
_cBK _2ddc |
||
| 999 |
_c6782 _d6782 |
||