| 000 | 00599nam a2200181 4500 | ||
|---|---|---|---|
| 005 | 20250624091843.0 | ||
| 008 | 250624b |||||||| |||| 00| 0 eng d | ||
| 020 |
_a9780080518503 _qhbk |
||
| 041 | _aeng | ||
| 082 |
_a004.07 _bDEA |
||
| 100 | _aDean, C. Neville | ||
| 245 |
_aTeaching And Learning Formal Methods _b: _cedited by C. Neville Dean and Michael G. Hinchey |
||
| 260 |
_aNew york _bAcademic press _c1996 |
||
| 300 |
_axv, 285 p. _c24 cm. |
||
| 504 | _aBib and Ref | ||
| 650 | _aMicrocomputers-teaching; computer software development study and teaching; minicomputers | ||
| 942 | _cREF | ||
| 999 |
_c573658 _d573658 |
||