000 | 02572nmm a22005775u 4500 | ||
---|---|---|---|
001 | vtls000364508 | ||
003 | RU-ToGU | ||
005 | 20210922030408.0 | ||
007 | cr nn 008mamaa | ||
008 | 120829s2008 xx j eng d | ||
020 | _a9783540921882 | ||
035 | _ato000364508 | ||
040 |
_aSpringer _cSpringer _dRU-ToGU |
||
100 | 1 |
_aHutchison, David. _981687 |
|
245 | 1 | 0 |
_aFormal Methods for Components and Objects _hЭлектронный ресурс _b6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / _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, Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. |
260 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2008. |
||
490 | 1 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v5382 |
650 | 0 |
_aComputer Science _9155490 |
|
650 | 0 |
_aLogic design _9306256 |
|
650 | 0 |
_aOperating systems (Computers) _9303025 |
|
650 | 0 |
_aSoftware engineering _9566225 |
|
650 | 1 | 4 |
_aComputer Science _9155490 |
650 | 2 | 4 |
_aLogics and Meanings of Programs _9306257 |
650 | 2 | 4 |
_aOperating Systems _9303029 |
650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters _9303287 |
650 | 2 | 4 |
_aSoftware Engineering _9566285 |
700 | 1 |
_aBoer, Frank S. _9325027 |
|
700 | 1 |
_aBonsangue, Marcello M. _9322957 |
|
700 | 1 |
_aGraf, Susanne. _9322960 |
|
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 |
_aRoever, Willem-Paul. _9331416 |
|
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-92188-2 |
999 | _c242103 |