01206cam a2200301 a 4500 20260817162108.0 060908s1996 gw r 100|0 eng | 354061463X .b11530510 QA76.758 I5713 1996 International Conference on Algebraic Methodology and Software Technology (5th : 1996 : Munich, Germany) Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing and Maurice Nivat, eds. AMAST '96 Berlin : Springer, 1996 640 p. Lecture notes in computer science ; v. 1101 Software engineering Congresses Abstract data types (Computer science) Congresses Wirsing, Martin Nivat, Maurice .b11530510 mngc u 171103 0 970129 m a u 0 mngc 14 Barcode : - CREATED : 1997-01-29 RECORD # : i11898707 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 3844 3844 0 0 0 0 MAIN MAIN mngc 2026-08-17 0 QA76.758 I5713 1996 2026-08-17 16:21:08 1 2026-08-17 14