LEADER 01256nam0-22004331i-450 
001 990001504930403321
005 20190528131539.0
010   $a0-262-03270-8
010   $a978-0-262-03270-4
035   $a000150493
035   $aFED01000150493
035   $a(Aleph)000150493FED01
035   $a000150493
100   $a20030519d1999----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $a----a---001yy
200 1 $aModel checking$fEdmund Clarke jr., Orna Grumberg and Doron A. Peled
210   $aCambridge, Mass.$cMIT Press$dc1999
215   $axiv, 314p.$d24 cm
300   $a3rd imprinting, 2001
610 0 $aAnalisi e progettazione dei sistemi
610 0 $aValutazione delle prestazioni
610 0 $aSistemi di computer$averifiche
676   $a004.2'1$v21
700  1$aClarke,$bEdmund M.$067498
701  1$aGrumberg,$bOrna$067499
701  1$aPeled,$bDoron A.$067500
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001504930403321
952   $a004.2-CLA-1$b2743$fSC1
952   $a004.2-CLA-1A$b2744$fSC1
952   $a004.2-CLA-1B$b2745$fSC1
952   $a13 H 74 12$b1974 / 2018$fFINBC
959   $aSC1
959   $aFINBC
996   $aModel checking$927579
997   $aUNINA