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