| 000 | 00362nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 230917s9999||||xx |||||||||||||| ||und|| | ||
| 040 |
_e83046 _aMAIN |
||
| 041 | _aEnglish | ||
| 082 | _a515.3 B326L | ||
| 100 | _aBauer, Friedrich L | ||
| 245 | 0 | _aLogic and algebra of specification | |
| 260 |
_aBerlin _bSpringer-Verlag _c1993 |
||
| 300 | _a442 p. | ||
| 942 | _cBK | ||
| 999 |
_c95281 _d95281 |
||