LEADER 01500nam--2200397---450-
001 990002961740203316
005 20070807183901.0
010   $a3-540-23068-8
035   $a000296174
035   $aUSA01000296174
035   $a(ALEPH)000296174USA01
035   $a000296174
100   $a20070807d2004----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aFormal methods for the design of real-time systems$einternational school on formal methods for the design of computer, communication and software systems, SFM-RT 2004$eBertinoro, Italy, September 13-18, 2004$erevised lectures$fMarco Bernardo, Flavio Corradini (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aVI, 293 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v3185$iTutoral
410  0$12001$aLecture notes in computer science$v3185$iTutoral
454  1$12001
461  1$1001-------$12001
606   $aInformatica$xCongressi$yBertinoro$z2004
676   $a005.1
702  1$aBERNARDO,$bMarco
702  1$aCORRADINI,$bFlavio
710 02$aInternational school on formal methods dor the design of computer$f<2004 ;$eBertinoro>$0597787
801  0$aIT$bsalbc$gISBD
912   $a990002961740203316
951   $a001 LNCS 3185$b31242/CBS$c001 LNCS$d00215325
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070807$lUSA01$h1839
996   $aFormal methods for the design of real-time systems$91026842
997   $aUNISA