01224cam a2200289 a 4500 20260818114143.0 060912s1997 gw r 100|0 eng | 3540635335 .b1168513x QA76.76 D47 I593 1997 International Symposium of Formal Methods Europe (4th : 1997 : Graz, Austria) FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 1997 : proceedings / John Fitzgerald, Cliff B. Jones and Peter Lucas, eds. Berlin : Springer, 1997 684 p. Lecture notes in computer science ; no. 1313 Computer software Development Congresses Fitzgerald, John, ed. Jones, Cliff B., ed. Lucas, Peter, ed. .b1168513x mngc - 121026 0 980724 m a - 0 mngc 14 Barcode : 30050003868048 CREATED : 1998-07-29 RECORD # : i12080135 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 2 TOT RENEW : 1 46007 46007 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA76.76 D47 I593 1997 30050003868048 2026-08-18 11:41:43 1 2026-08-18 14