000 02062cam a2200589Ia 4500
001 u2311
003 SA-PMU
005 20210418123213.0
008 060117s2006 enka b 001 0 eng d
010 _a 2005931433
040 _aTEF
_cTEF
_dOHX
_dUKM
_dBAKER
_dDLC
_dYDXCP
_dBTCTA
_dDEBBG
015 _aGBA613149
_2bnb
015 _a04,N52,0892
_2dnb
016 7 _a013373808
_2Uk
020 _a1852338954
020 _a9781852338954
028 5 2 _a11302094
035 _a(OCoLC)62927715
050 0 0 _aQA76.58
_b.B69 2006
082 0 4 _a004/.35
_222
082 0 4 _a004.015113
_222
084 _a510
_2sdnb
084 _aST 130
_2rvk
084 _aST 132
_2rvk
100 1 _aBowman, Howard,
_d1966-
245 1 0 _aConcurrency theory :
_bcalculi and automata for modelling untimed and timed concurrent systems /
_cHoward Bowman and Rodolfo Gomez.
260 _aLondon :
_bSpringer,
_cc2006.
300 _axxiv, 435 p. :
_bill. ;
_c25 cm.
504 _aIncludes bibliographical references (p. [397]-407) and index.
650 0 _aParallel processing (Electronic computers)
_xMathematical models.
650 0 _aMachine theory.
650 0 _aLOTOS (Computer program language)
650 0 7 _aMathematisches Modell.
_2swd
650 0 7 _aNebenläufigkeit.
_2swd
700 1 _aGomez, Rodolfo.
856 4 2 _3Publisher description
_uhttp://catdir.loc.gov/catdir/enhancements/fy0663/2005931433-d.html
856 4 1 _3Table of contents only
_uhttp://catdir.loc.gov/catdir/enhancements/fy0823/2005931433-t.html
938 _aOtto Harrassowitz
_bHARR
_nhar040148590
938 _aYBP Library Services
_bYANK
_n2252614
938 _aBaker and Taylor
_bBTCP
_nBK0006554707
938 _aBaker & Taylor
_bBKTY
_c99.00
_d99.00
_i1852338954
_n0006554707
_sactive
029 1 _aOHX
_bhar040148590
029 1 _aNLGGC
_b283573724
029 1 _aYDXCP
_b2252614
029 1 _aNZ1
_b10647595
029 1 _aAU@
_b000040325082
029 1 _aDEBBG
_bBV021538659
942 _cBOOK
994 _aZ0
_bSUPMU
948 _hNO HOLDINGS IN SUPMU - 127 OTHER HOLDINGS
596 _a1 2
999 _c2029
_d2029