LEADER 00961nam0-2200337---450-
001 990008749580403321
005 20081106162529.0
010   $a978-3-540-67401-6
035   $a000874958
035   $aFED01000874958
035   $a(Aleph)000874958FED01
035   $a000874958
100   $a20081106d2008----km-y0itay50------ba
101 0 $aeng
102   $aDE
105   $aa---a---001yy
200 1 $aTemporal logic and state systems$fFred Kröger, Stephan Merz
210   $aBerlin [etc.]$cSpringer$dc2008
215   $aXI, 433 p.$cill.$d24 cm
225 1 $aText in theoretical computer science$ean EATCS series
610 0 $aLogica
610 0 $aRicorsivitŕ
700  1$aKröger,$bFred$0503991
701  1$aMerz,$bStephan$0503992
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008749580403321
952   $a7-316$bD.S.F. 9075$fFI1
959   $aFI1
996   $aTemporal logic and state systems$9719735
997   $aUNINA