01106nam0-22003131i-450-99000120592040332120101018154419.03-540-15198-2000120592FED01000120592(Aleph)000120592FED0100012059220001205d1985----km-y0itay50------baengMATHEMATICAL foundations of software developmentproceedings of the International Joint Conference on Theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985edited by Hartmut Ehrig ... [e altri]Berlin [etc.]Springer-Verlagc1985Lecture notes in computer science185Vol. 1. Colloquium on trees in algebra and programming (CAAP'85)ProgrammazioneEhrig,HartmutITUNINARICAUNIMARCBK990001205920403321C-16-(1856919MA1124-N-491793MA1MA168-06MATHEMATICAL foundations of software development343707UNINA