000 00557nam a2200205Ia 4500
999 _c9699
_d9699
005 20200302121557.0
008 180712s9999 xx 000 0 und d
020 _a471987107
041 _aEN
082 _a005.13
_bMAG
_223
100 _aMagee, Jeff
100 _a Kramer, Jeff.
245 _aConcurrency: state models & Java programs
_c/Jeff Magee, Jeff Kramer
260 _aChichester
_bJohn wiley & sons
_c2005
300 _axiii, 355 p.
500 _aincludes bibliography & index
509 _aNS
650 _aComputer programming
942 _cS