LEADER 01048nam0-22003731i-450- 001 990001485560403321 005 20090716122438.0 010 $a0-262-08289-6 035 $a000148556 035 $aFED01000148556 035 $a(Aleph)000148556FED01 035 $a000148556 100 $a20010731d2000----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa---a---001yy 200 1 $aDynamic logic$fDavid Harel, Dexter Kozen, Jerzy Tiuryn 210 $aCambridge (Mass.)$cThe Mit press$dc2000 215 $axv, 459 p.$d23 cm 225 1 $aFundations of computing 610 0 $aMatematica degli elaboratori 610 0 $aMetodi formali 610 0 $aLogica per il computer 676 $a004.015 700 1$aHarel,$bDavid$f<1950- >$047551 701 1$aKozen,$bDexter$f<1951- >$065955 701 1$aTiuryn,$bJerzy$065956 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001485560403321 952 $a004.015-HAR-1$b1025$fSC1 959 $aSC1 996 $aDynamic logic$9378213 997 $aUNINA LEADER 00842nam0-22002891i-450- 001 990001829520403321 005 20021010 035 $a000182952 035 $aFED01000182952 035 $a(Aleph)000182952FED01 035 $a000182952 100 $a20021010d--------km-y0itay50------ba 101 0 $aita 200 1 $a<>passato e l' avvenire del mercato di bestiame di Napoli$fRoberto Dentice Accadia. 210 $aNapoli$cTip. Ed. Tocco$d1902. 215 $a16 p.$d24 cm 610 0 $aZootecnica 676 $a636 700 1$aDentice di Accadia,$bRoberto$079988 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001829520403321 952 $a60 DONO COMES 29/14$b38430$fFAGBC 959 $aFAGBC 996 $aPassato e l' avvenire del mercato di bestiame di Napoli$9411712 997 $aUNINA DB $aING01