01350nam2-2200373li-450 99000020848020331620180312154905.03-540-66246-40020848USA010020848(ALEPH)000020848USA01002084820001109d1999----km-y0itay0103----baengGWRecent trends in algebraic development techniques13th international workshop, WADT '98Lisbon, Portugal, April 2-4, 1998selected papersJosé Luiz Fiaderio (ed.)BerlinoSpringer-Verlagcopyr. 1999X, 340 p.ill.24 cmLecture notes in computer science158900100202642001Lecture notes in computer scienceFiadeiro,José LuizInternational workshopWADT '9813th.Lisbon1998754754Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000208480203316001 LNCS (1589)002387700100100859BKSCI1999100120001110USA011714ALANDI9020010208USA01122720020403USA011628PATRY9020040406USA011615Recent trends in algebraic development techniques1518960UNISA