000 | 02607nmm a22005895u 4500 | ||
---|---|---|---|
001 | vtls000364285 | ||
003 | RU-ToGU | ||
005 | 20210922030428.0 | ||
007 | cr nn 008mamaa | ||
008 | 120829s2008 xx j eng d | ||
020 | _a9783540876038 | ||
035 | _ato000364285 | ||
040 |
_aSpringer _cSpringer _dRU-ToGU |
||
100 | 1 |
_aHutchison, David. _981687 |
|
245 | 1 | 0 |
_aAbstract State Machines, B and Z _hЭлектронный ресурс _bFirst International Conference, ABZ 2008, London, UK, September 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, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. |
260 |
_aBerlin, Heidelberg : _bSpringer-Verlag Berlin Heidelberg, _c2008. |
||
490 | 1 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v5238 |
650 | 0 |
_aComputer Science _9155490 |
|
650 | 0 |
_aDatabase management _9566224 |
|
650 | 0 |
_aLogic design _9306256 |
|
650 | 0 |
_aSoftware engineering _9566225 |
|
650 | 1 | 4 |
_aComputer Science _9155490 |
650 | 2 | 4 |
_aDatabase Management _9566226 |
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 |
_aSoftware Engineering _9566285 |
700 | 1 |
_aBoca, Paul. _9332904 |
|
700 | 1 |
_aBörger, Egon. _9332905 |
|
700 | 1 |
_aBowen, Jonathan P. _9330161 |
|
700 | 1 |
_aButler, Michael. _9323024 |
|
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 |
|
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-87603-8 |
999 | _c242207 |