000 | 00788nam a2200253 a 4500 | ||
---|---|---|---|
001 | BD-DhNSU-4042 | ||
003 | BD-DhNSU | ||
005 | 20240612100951.0 | ||
008 | 240612s1990 maua|||g |||| 001 0|eng d | ||
020 | _a0444880747 | ||
040 |
_aDLC _cBD-DhNSU _dBD-DhNSU |
||
041 | _aeng | ||
050 | 0 | 0 |
_aQA76 _b.L44 1990 |
245 | 0 | 0 |
_aHandbook of theoritical computer science/ _cedited by Jan van Leeuwen |
260 |
_aMassachusetts : _bThe MIT Press, _cc1990. |
||
300 |
_aVol. B: xiv, 1273 p. : _bill. ; _c24 cm. |
||
490 | _v formal models and semantics | ||
500 | _aIncludes bibliographical references and indexes. | ||
526 | _aMathematics, Physics and Statistics | ||
590 | _aBadhan Hubert Corraya | ||
650 | 0 | _aComputer science | |
700 | 1 | _aLeeuwen, Jan van | |
942 |
_2lcc _cBK |
||
999 |
_c4042 _d4042 |