| 000 | 01175nam a2200301zi 4500 | ||
|---|---|---|---|
| 005 | 20220221131624.0 | ||
| 008 | 070416s2006 gw 101 0 eng d | ||
| 020 | _a3540377565 (rústica) | ||
| 020 | _a978-3-540-37756-6 | ||
| 035 | _aMX001001097897 | ||
| 040 |
_aERL _bspa _cERL _dCUS _dBAKER _dYDXCP _dDLC _dUNAMX |
||
| 050 | 4 |
_aQA76.6 _bI578 2006 |
|
| 111 | 2 |
_aInternational Static Analysis Symposium _n(13 : _d2006 : _cSeúl, Corea) |
|
| 245 | 1 | 0 |
_aStatic analysis : _b13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / _cKwangkeun Yi, ed. |
| 246 | 3 | 0 | _aSAS 2006 |
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2006 |
|
| 300 |
_axiii, 442 páginas : _bilustraciones |
||
| 490 | 0 |
_aLecture notes in computer science, _v4134 |
|
| 650 | 4 |
_aProgramación de computadoras _vCongresos |
|
| 650 | 4 |
_aLenguajes de programación (Computadoras) _vCongresos |
|
| 700 | 1 |
_aYi, Kwangkeun, _eeditor |
|
| 711 | 2 |
_aSAS _n(13 : _d2006 : _cSeúl, Corea) |
|
| 830 |
_aLecture notes in computer science _x 0302-9743 |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c18380 _d18380 |
||