01095cam a2200289 a 4500 20260817162259.0 060904s1997 gw r 000|0 eng | 3540625038 03029743 .b11592692 QA76.7 L662 1996 LOMAPS Workshop (5th : 1996 : Stockholm, Sweden) Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam, ed. LOMAPS Berlin : Springer, 1997 434 p. Lecture notes in computer science ; no. 1192 Programming languages (Electronic computers) Congresses Dam, Mads, ed. .b11592692 mngc - 121022 0 980910 m a - 0 mngc 14 Barcode : 30050003866547 CREATED : 1998-10-09 RECORD # : i12093579 LPATRON : 1010868 LCHKIN : 1999-07-25 # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 1 TOT RENEW : 1 4538 4538 0 0 0 0 MAIN MAIN mngc 2026-08-17 0 QA76.7 L662 1996 30050003866547 2026-08-17 16:22:59 1 2026-08-17 14