| 000 | 00854cam a2200265 a 4500 | ||
|---|---|---|---|
| 008 | |||
| 020 | _a9780470500958 (hbk.) | ||
| 049 | _aMAIN | ||
| 090 |
_aQA76.76 _bSAF |
||
| 100 | 1 | _aSafonov, Vladimir O. | |
| 245 | 1 | 0 |
_aTrustworthy compilers / _cVladimir O. Safonov. |
| 260 |
_aHoboken, N.J. : _bJohn Wiley & Sons, _cc2010. |
||
| 300 |
_axx, 295 p. : _bill. ; _c25 cm. |
||
| 490 | 1 | _aWiley series on quantitative software engineering | |
| 500 | _alncludes index. | ||
| 504 | _aIncludes bibliographical references. | ||
| 650 | 0 | _aCompilers (Computer programs) | |
| 650 | 0 | _aInterpreters (Computer programs) | |
| 830 | 0 | _aQuantitative software engineering series. | |
| 907 |
_a.b10336126 _b26-11-13 _c23-10-13 |
||
| 003 | |||
| 005 | 20230123122033.0 | ||
| 040 | _cNUST | ||
| 942 |
_cBOOKS _kQA76.76 _mSAF |
||
| 999 |
_c126702 _d126702 |
||