000 00733nam a2200241Ia 4500
008 191130s2002##################000#0#eng##
020 _a354043447X
022 _a2002070766
040 _aACL
_cACL
082 _a003.8 BAE
100 _aBaeten, J. C. M
245 _aProcess algebra with timing
_cJ.C.M. Baeten, C.A. Middelburg
260 _aBerlin
_bSpringer
_cc2002
300 _axvii, 287 p. : ill. ; 24 cm.
500 _aIncludes bibliographical references (p. [275]-278) and index
650 _aComputer science - Mathematics
650 _aDiscrete-time systems
650 _aSystem design
700 _aMiddelburg, Cornelis A
990 _a2b151671ac10000c12ed90b7df632d15
991 _a282189
999 _c44590
_d44590