LEADER 01006nam0-2200313---450-
001 990010109200403321
005 20161010152252.0
010   $a978-3-639-19409-8
035   $a001010920
035   $aFED01001010920
035   $a(Aleph)001010920FED01
035   $a001010920
100   $a20161010d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
105   $a--------001yy
200 1 $aModel-based dependability evaluation of critical control systems$ea practical survey of advanced techniques for model-based system testing and reliability evaluation$fFrancesco Flammini
210   $aSaarbrucken, Germany$cVDM Verlag Dr. Muller$d2009
215   $a140 p.$d22 cm
610 0 $aProgrammi per elaboratori$aAffidabilitą
676   $a005
700  1$aFlammini,$bFrancesco
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990010109200403321
952   $a13 H 64 29$b0975 / 2016$fFINBC
952   $a13 63 21$b0976 / 2016$fFINBC
959   $aFINBC
997   $aUNINA