000 01222nam a22003855i 4500
001 978-1-84882-258-0
003 DE-He213
005 20130515021155.0
007 cr nn 008mamaa
008 101013s2011 xxk| s |||| 0|eng d
020 _a9781848822580
_9978-1-84882-258-0
024 7 _a10.1007/978-1-84882-258-0
_2doi
050 4 _aQA76.76.O63
072 7 _aUL
_2bicssc
072 7 _aCOM046000
_2bisacsh
082 0 4 _a005.43
_223
100 1 _aRoscoe, A.W.
245 1 0 _aUnderstanding Concurrent Systems
_h[electronic resource] /
_cby A.W. Roscoe.
260 _aLondon :
_bSpringer London,
_c2011.
300 _bdigital.
490 0 _aTexts in Computer Science,
_x1868-0941
650 0 _aComputer science.
650 0 _aOperating systems (Computers).
650 0 _aLogic design.
650 1 4 _aComputer Science.
650 2 4 _aOperating Systems.
650 2 4 _aLogics and Meanings of Programs.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781848822573
830 0 _aTexts in Computer Science,
_x1868-0941
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-84882-258-0
912 _aZDB-2-SCS
999 _c74621
_d74621