| 000 | 01769cam a22003852 b4500 | ||
|---|---|---|---|
| 001 | 8568511 | ||
| 003 | OSt | ||
| 005 | 20150408113914.0 | ||
| 006 | m d | ||
| 007 | cr n | ||
| 008 | 101011e20110104njua s|||||||| 2|eng|d | ||
| 020 | _a9783642170706 | ||
| 020 |
_a3642170706 (Trade Paper) _cUSD 83.00 Retail Price (Publisher) |
||
| 024 | 3 | _a9783642170706 | |
| 035 | _a(WaSeSS)ssj0000446472 | ||
| 037 |
_a3642170706 _b00024965 |
||
| 040 |
_aBIP US _dWaSeSS _cدار أجنادين |
||
| 050 | 4 | _aQA76.9.F67 | |
| 082 | 0 | 0 |
_a005.131 _221 _bF o M |
| 100 | 1 |
_ade Boer, Frank S. _eEditor _4edt _93447 |
|
| 210 | 1 | 0 | _aFormal Methods for Components and Objects |
| 245 | 1 | 0 |
_aFormal Methods for Components and Objects _h[electronic resource]: _b8th International Symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers |
| 260 |
_aNew York : _bSpringer _cJan. 2011 |
||
| 440 | 0 |
_aLecture Notes in Computer Science / Programming and Software Engineering Ser. _93388 |
|
| 506 | _aLicense restrictions may limit access. | ||
| 520 | 8 |
_aAnnotation _bThis state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. |
|
| 521 |
_aScholarly & Professional _bSpringer |
||
| 700 | 1 |
_aBonsangue, Marcello M. _eEditor _4edt _93448 |
|
| 700 | 1 |
_aHallerstede, Stefan _eEditor _4edt _93449 |
|
| 700 | 1 |
_aLeuschel, Michael _eEditor _4edt _93450 |
|
| 773 | 0 | _tSpringerLink ebooks - Computer Science (2010) | |
| 856 | 4 | 0 |
_uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio8568511 _zFull text available from SpringerLink ebooks - Computer Science (2010) |
| 910 | _aBowker Global Books in Print record | ||
| 942 |
_2ddc _cDVD |
||
| 999 |
_c13875 _d248375 |
||