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