LEADER 01106nam0-22003131i-450-
001 990001205920403321
005 20101018154419.0
010   $a3-540-15198-2
035   $a000120592
035   $aFED01000120592
035   $a(Aleph)000120592FED01
035   $a000120592
100   $a20001205d1985----km-y0itay50------ba
101 0 $aeng
200 1 $aMATHEMATICAL foundations of software development$eproceedings of the International Joint Conference on Theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985$fedited by Hartmut Ehrig ... [e altri]
210   $aBerlin [etc.]$cSpringer-Verlag$dc1985
225 1 $aLecture notes in computer science$v185
300   $aVol. 1. Colloquium on trees in algebra and programming (CAAP'85)
610 0 $aProgrammazione
702  1$aEhrig,$bHartmut
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001205920403321
952   $aC-16-(185$b6919$fMA1
952   $a124-N-49$b1793$fMA1
959   $aMA1
962   $a68-06
996   $aMATHEMATICAL foundations of software development$9343707
997   $aUNINA