LEADER 00903nam0-22003011i-450-
001 990001112250403321
010   $a0-387-97664-7
035   $a000111225
035   $aFED01000111225
035   $a(Aleph)000111225FED01
035   $a000111225
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $a<<The >>Temporal Logic of Reactive and Concurrent Systems$fZohar Manna, Amir Pnueli
210   $aNew York$cSpringer-Verlag$d1992
610 0 $aTeoria della programmazione e utilizzazione dei computers
610 0 $aSoftware
676   $a510.78
700  1$aManna,$bZohar$025952
702  1$aPnueli,$bAmir
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001112250403321
952   $a8B-283$b18755$fFI1
952   $a8B-283.001$b18774$fFI1
959   $aFI1
996   $aTemporal Logic of Reactive and Concurrent Systems$9337188
997   $aUNINA