LEADER 00804nam0-22002891i-4500
001 990001322670403321
005 20170214153019.0
010  1$a3-540-51803-7
035   $a000132267
035   $aFED01000132267
035   $a(Aleph)000132267FED01
035   $a000132267
100   $a20000920d1989----km-y0itay50------ba
101  1$aeng
200 1 $aTemporal Logic in Specification$eAltrincam, UK, april 1987
210   $aBerlin$cSpringer-Verlag$d1989.
215   $avi, 448 p.$d24 cm
225 1 $aLecture notes in computer science$v398
702  1$aBanieqbal,$bB.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001322670403321
952   $aC-16-(398$b6934$fMA1
959   $aMA1
996   $aTemporal Logic in Specification$9383027
997   $aUNINA
DB    $aING01