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 00776nam0-22002771i-450-
001 990004603400403321
005 19990530
035   $a000460340
035   $aFED01000460340
035   $a(Aleph)000460340FED01
035   $a000460340
100   $a19990530f19001997km-y0itay50------ba
101 0 $aita
105   $ay-------001yy
200 1 $aNotes in the text of the Corpus Tibullianum$fMonroe E. Deutsch
210   $aBerkeley$cUniversity of california Press$ds.d.
215   $a173
225 1 $v23
700  1$aDeutsch,$bMonroe E.$0182647
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990004603400403321
952   $aI D 88$bBIBL.24970$fFLFBC
959   $aFLFBC
996   $aNotes in the text of the Corpus Tibullianum$9550925
997   $aUNINA