000 | 01078cam a2200301 i 4500 | ||
---|---|---|---|
001 | u91495 | ||
003 | SIRSI | ||
005 | 20240619150111.0 | ||
008 | 110131 eng | ||
020 | _a3540739378 | ||
020 | _a9783540739371 | ||
050 |
_aQA76.58 _b.F64 2007 |
||
100 | 1 |
_aFokkink, Wan. , _eauthor _9204772 |
|
245 | 1 | 0 |
_aModelling distributed systems / _cWan Fokkink. |
264 | 1 |
_aBerlin : _bSpringer, _c2007. |
|
300 |
_aviii, 151 pages : _billustrations ; _c24 cm. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_aunmediated _bn _2rdamedia |
||
338 |
_avolume _bnc _2rdacarrier |
||
490 | 1 | _aTexts in theoretical computer science | |
596 | _a3 | ||
650 | 0 |
_aParallel processing (Electronic computers). _9152 |
|
650 | 0 |
_aElectronic data processing _xDistributed processing. _9116 |
|
650 | 0 |
_aParallel programs (Computer programs) _xVerification. _9204773 |
|
907 |
_a.b10438671 _b07-11-22 _c28-11-18 |
||
998 |
_am _b06-11-22 _cm _da _e- _feng _g _h0 |
||
999 |
_c35228 _d35228 |