| 000 | 00506nam a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 220718s1997||||xx |||||||||||||| ||und|| | ||
| 020 | _a0387948961 | ||
| 082 |
_a18 _bAPT |
||
| 100 | 1 | _aApt, K.R & Olderog, E-R | |
| 110 | _aOlderog, E-R | ||
| 245 | 1 |
_aVerification of sequential & concurrent programs _cK.R. Apt & E-R. Olderog |
|
| 250 | _a2 | ||
| 260 |
_aNew York _bSpringer _c1997 |
||
| 300 |
_axvii _e364 |
||
| 490 | _aGraduate texts in computer science | ||
| 690 | _aComputer Science | ||
| 942 | _cBK | ||
| 999 |
_c20466 _d20466 |
||