LEADER 01134nam--2200361---450-
001 990003074590203316
005 20080418154706.0
010   $a3-540-26278-4
035   $a000307459
035   $aUSA01000307459
035   $a(ALEPH)000307459USA01
035   $a000307459
100   $a20080305d2005----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aModel-based testing of reactive systems$eadvanced lectures$fManfred Broy...[et al.] (eds.)
210   $aBerlin (etc.)$cSpringer$dcopyr. 2005
215   $aVIII, 659 p.$cill.$d24 cm
225 2 $aLecture Notes in Computer Science$iTutorial$v3472
410  0$12001$aLecture Notes in Computer Science$v3472
606 0 $aSistemi Complessi
676   $a004.24
700  1$aBROY,$bManfred$0600498
801  0$aIT$bsalbc$gISBD
912   $a990003074590203316
951   $a001 LNCS 3472$b32209/CBS$c001$d00114620
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080305$lUSA01$h1015
979   $aANGELA$b90$c20080418$lUSA01$h1547
996   $aModel-based testing of reactive systems$91023377
997   $aUNISA