LEADER 00956nam0-2200313---450-
001 990008420830403321
005 20061207113420.0
010   $a0-7923-7626-9
035   $a000842083
035   $aFED01000842083
035   $a(Aleph)000842083FED01
035   $a000842083
100   $a20061116d2002----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa-------001yy
200 1 $aSpecification and design methodology for real-time embedded systems$fRandall S. Janka
210   $aBoston ; Dordrecht ; London$cKluwer Academic$d2002
215   $aXXXI, 221 p.$cill.$d25 cm
610 0 $aEmbedded computer systems
676   $a005.2/56 21
700  1$aJanka,$bRandall S.$0296981
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008420830403321
952   $a10 C 489$bDIS 4798$fDINEL
959   $aDINEL
996   $aSpecification and design methodology for real-time embedded systems$9726214
997   $aUNINA