| 000 | 00459nam a2200157Ia 4500 | ||
|---|---|---|---|
| 999 |
_c22441 _d22441 |
||
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a9783540739371 _chbk |
||
| 082 |
_a003.78 _bFOK |
||
| 100 | _aFokkink, Wan | ||
| 245 | 0 | _aModelling distributed systems | |
| 260 |
_aBerlin: _bSpringer, _c2007 |
||
| 300 |
_aviii, 151 p.; _bill.: _c24 cm. |
||
| 365 |
_aINR _b3071.93/ EURO 49.95 |
||
| 490 | _aTexts in theoretical computer science | ||
| 504 | _aIncludes bibliography and index | ||
| 520 | _aGuides students through algebraic specification and verification of distributed systems and some of the most prominent formal verification techniques | ||
| 650 | _aModelling distributed systems | ||
| 650 | _aAlgebra | ||
| 650 | _aTree identity protocol | ||
| 650 | _aComputer programming & programming language | ||
| 650 | _aInformatique | ||
| 650 | _aTheory of Computation | ||
| 650 | _aSymbolic and Algebraic Manipulation | ||
| 650 | _aMathematical Logic and Formal Languages | ||
| 650 | _aLogics and Meanings of Programs | ||
| 650 | _aParallel programs (Computer programs) - Verification | ||
| 650 | _aParallel processing (Electronic computers) | ||
| 650 | _aElectronic data processing - Distributed processing | ||
| 650 | _aDistributed operating systems (Computers) | ||
| 942 |
_2ddc _cBK |
||