| 000 | 01031 a2200277 4500 | ||
|---|---|---|---|
| 001 | 294882 | ||
| 003 | OSt | ||
| 005 | 20240507162448.0 | ||
| 008 | 211208b ||||| |||| 00| 0 eng d | ||
| 020 | _a978-3-642-11512-7 | ||
| 040 | _cIITB | ||
| 041 | _aeng | ||
| 245 | _aConcurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever (e-book) | ||
| 260 |
_aBerlin _bSpringer _c2010 |
||
| 440 |
_922935 _aLecture Notes in Computer Science (LNCS) _vv.5930 |
||
| 440 |
_aLNCS Sublibrary : SL 1 – Theoretical computer science and general issues _944978 |
||
| 600 |
_aRoever, Willem Paul de _d1943- _923066 |
||
| 650 | 0 |
_aComputer science and engineering _97673 |
|
| 650 | 0 |
_aParallel programming (Computer science) _vCongresses _91865 |
|
| 650 |
_aComputer programs _vCorrectness _923067 |
||
| 700 |
_aDams, Dennis _eEditor _923068 |
||
| 700 |
_aHannemann, Ulrich _eEditor _923069 |
||
| 700 |
_aSteffen, Martin _eEditor _923070 |
||
| 856 | _uhttps://doi.org/10.1007/978-3-642-11512-7 | ||
| 942 |
_cEB _2udc |
||
| 999 |
_c168190 _d168190 |
||