01665nam a2200313 a 450000500170000000800410001702000150005803500150007305000260008811101130011424501900022726000370041730000090045444000540046365000470051770000230056470000320058790700250061990200110064499800280065594500180068394500180070194200070071990901710072690901710089799900190106895201320108795201320121920260818223902.0060912s1991    gw      r     100|0 eng |  a3540539824  a.b1066423300aQA76.76 D47bI57 19912 aInternational Joint Conference on Theory and Practice of Software Developmentn(4th :d1991 :cBrighton, UK)10aTAPSOFT'91 :bproceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 /cS. Abramsky and T. S. E. Maibaum (eds.)  aBerlin :bSpringer-Verlag,c1991  a2 v. 0aLecture notes in computer science ;vno. 493, 494 0aComputer softwarexDevelopmentvCongresses1 aAbramsky, S.,eed.1 aMaibaum, Thomas S. E.,eed.  a.b10664233bmngc c-  a121026  b2c951012dmea  f-g0  lmngc uv.v. 1  lmngc uv.v. 2  c14  aBarcode : 30050003170148bCREATED : 1995-10-16cRECORD # : i10853510dLPATRON : 0eLCHKIN : -f# RENEWALS : 0g# OVERDUE : 0hIUSE3 : 0iTOT CHKOUT : 0jTOT RENEW : 0  aBarcode : 30050004697123bCREATED : 1995-10-16cRECORD # : i10853522dLPATRON : 0eLCHKIN : -f# RENEWALS : 0g# OVERDUE : 0hIUSE3 : 0iTOT CHKOUT : 0jTOT RENEW : 0  c117705d117705  00104070aMAINbMAINcmngcd2026-08-18l0oQA76.76 D47 I57 1991p30050003170148r2026-08-18 22:39:02t1w2026-08-18y14zv. 1  00104070aMAINbMAINcmngcd2026-08-18l0oQA76.76 D47 I57 1991p30050004697123r2026-08-18 22:39:02t1w2026-08-18y14zv. 2