LEADER 00886nam0-2200265 --450 
001 9910312050903321
005 20190322121148.0
010   $a3540415238 (alk. paper)
100   $a20190322d2001--------kmuy0itay5050----ba
101 0 $aeng
102   $aDE
200 1 $aSystems and software verification$emodel-checking techniques and tools /$fB. Be?rard ... [et al.]
210   $aBerlin ;$aNew York$cSpringer$dc2001
215   $axii, 190 p.$cill. ;$d24 cm
320   $aIncludes bibliographical references  (p. [179]-182).
610 0 $aComputer systems$xVerification
610 0 $aComputer software$xVerification
676   $a005.1/4
701  1$aBe?rard,$bBe?atrice$0598511
801  0$aIT$bUNINA$gRICA$2UNIMARC
912   $a9910312050903321
952   $a13 65 07$b2129 / 2018$fFINBC
959   $aFINBC
996   $aSystems and software verification$91028436
997   $aUNINA