LEADER 01232nam 2200373 450 001 990001211270203316 005 20031021181709.0 035 $a000121127 035 $aUSA01000121127 035 $a(ALEPH)000121127USA01 035 $a000121127 100 $a20031021d1982----km-y0itay0103----ba 101 0 $aeng 102 $aUK 105 $a||||||||001yy 200 1 $aFormal specification and software development$f[By]Dines Bjorner and Cliff B. Jones$gIn collaboration with Derek Andrews [et al...] 210 $aEnglewood Cliffs$cPrentice-Hall International$dcopyr. 1982 215 $aX, 501 p$cill$d23 cm 225 2 $aPrentice-Hall International series in computer science 410 0$1Prentice-Hall International series in computer science 454 1$12001 461 1$1001-------$12001 676 $a001.642 700 1$aBJRNER,$bDines$0556239 701 1$aJONES,$bCliff B.$026769 801 0$aIT$bsalbc$gISBD 912 $a990001211270203316 951 $a001.6 SCS (3)$b19985 Ing$c001.6 959 $aBK 969 $aTEC 979 $aSIAV2$b10$c20031021$lUSA01$h1817 979 $aPATRY$b90$c20040406$lUSA01$h1727 996 $aFormal specification and software development$9984336 997 $aUNISA LEADER 00908nam0-22003371i-450 001 990001715310403321 005 20190621122310.0 035 $a000171531 035 $aFED01000171531 035 $a(Aleph)000171531FED01 035 $a000171531 100 $a20030910d1984----km-y0itay50------ba 101 0 $aita 200 1 $aElementi di acquacoltura$fGiulia Giordani, Paolo Melotti 210 $aBologna$cEdagricole$d1984 215 $aIX, 400 p.$d25 cm 610 0 $aAcquacoltura 676 $a639.8 700 1$aGiordani,$bGiulia$073960 702 1$aMelotti,$bPaolo 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001715310403321 952 $aXIII B 15$b720$fFMVBC 952 $a60 639.3 B 16$b48854$fFAGBC 952 $a15 ID B/4-70$bs.i.$DINID 959 $aFAGBC 959 $aDINID 959 $aFMVBC 996 $aElementi di acquacoltura$9359000 997 $aUNINA LEADER 00940nam 2200289z- 450 001 9910746491803321 005 20230601092900.0 035 $a(CKB)5680000000312030 035 $a(EXLCZ)995680000000312030 100 $a20230704c2023uuuu -u- - 101 0 $aita 200 03$aIl Femminile trascorre la storia $edalla Grande Madre al nostro quotidiano /$fa cura di Paolo Berruti e Jennifer Celani ; prefazione di Eugenio Borgna ; contributi di Laura Amato [and fifteen others] 210 $cPolistampa 311 $a88-596-2326-X 517 $aFemminile trascorre la storia 606 $aWomen$xHistory 606 $aGoddesses 606 $aMother goddesses 615 0$aWomen$xHistory. 615 0$aGoddesses. 615 0$aMother goddesses. 702 $aBerruti$b Paolo 702 $aCelani$b Jennifer 906 $aBOOK 912 $a9910746491803321 996 $aIl Femminile trascorre la storia$93570476 997 $aUNINA