| 000 | 02441nmm a22005535u 4500 | ||
|---|---|---|---|
| 001 | vtls000362025 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922025555.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120829s2008 xx j eng d | ||
| 020 | _a9783540691662 | ||
| 035 | _ato000362025 | ||
| 040 |
_aSpringer _cSpringer _dRU-ToGU |
||
| 100 | 1 |
_aHutchison, David. _981687 |
|
| 245 | 1 | 0 |
_aStatic Analysis _hЭлектронный ресурс _b15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / _cedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, María Alpuente, Germán Vidal. |
| 260 |
_aBerlin, Heidelberg : _bSpringer-Verlag Berlin Heidelberg, _c2008. |
||
| 490 | 1 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v5079 |
| 650 | 0 |
_aComputer Science _9155490 |
|
| 650 | 0 |
_aLogic design _9306256 |
|
| 650 | 0 |
_aSoftware engineering _9566225 |
|
| 650 | 1 | 4 |
_aComputer Science _9155490 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs _9306257 |
| 650 | 2 | 4 |
_aMathematical Logic and Formal Languages _9303363 |
| 650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters _9303287 |
| 650 | 2 | 4 |
_aProgramming Techniques _9566312 |
| 650 | 2 | 4 |
_aSoftware Engineering _9566285 |
| 700 | 1 |
_aAlpuente, María. _9327749 |
|
| 700 | 1 |
_aKanade, Takeo. _981641 |
|
| 700 | 1 |
_aKittler, Josef _981663 |
|
| 700 | 1 |
_aKleinberg, Jon M. _9325290 |
|
| 700 | 1 |
_aMattern, Friedemann. _9324294 |
|
| 700 | 1 |
_aMitchell, John C. _9325291 |
|
| 700 | 1 |
_aNaor, Moni. _981688 |
|
| 700 | 1 |
_aNierstrasz, Oscar. _9320138 |
|
| 700 | 1 |
_aPandu Rangan, C. _9325292 |
|
| 700 | 1 |
_aSteffen, Bernhard. _9325293 |
|
| 700 | 1 |
_aSudan, Madhu. _981689 |
|
| 700 | 1 |
_aTerzopoulos, Demetri. _981690 |
|
| 700 | 1 |
_aTygar, Doug. _981691 |
|
| 700 | 1 |
_aVardi, Moshe Y. _9319449 |
|
| 700 | 1 |
_aWeikum, Gerhard. _981692 |
|
| 700 | 1 |
_aVidal, Germán. _9327750 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
| 773 | 0 | _tSpringer eBooks | |
| 830 |
_aLecture Notes in Computer Science, _9279505 |
||
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-540-69166-2 |
| 999 | _c239451 | ||