01328nam a2200313 a 4500 20260818145558.0 0 540 51080 X .b10403607 En QA402 S36 1988 School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, the Netherlands, 1988 Linear time, branching time and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 / J. W. de Bakker, W.-P. de Roever and G. Rozenberg, [eds.] Berlin : Springer-Verlag, 1989 713 p. Lecture notes in computer science ; no. 354 System analysis Congresses Bakker, J. W. de , ed. Roever, W.-P. de , ed. .b10403607 mngc - 121109 1 951012 m a - 0 QA402 S36 1988 Stacks b m 050 30050000154731 Stacks mngc 14 Barcode : 30050003204491 CREATED : 1995-10-14 RECORD # : i10503869 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 69799 69799 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA402 S36 1988 30050003204491 2026-08-18 14:55:58 1 2026-08-18 14