01590cam a22004697a 4500 15781945 NUST 20211109162141.0 090619s2009 ne a b 001 0 eng d 2009931042 994910134 dnb 09,N28,0773 dnb 9781441905031(hbk.) 1441905030 (hbk.) 9781441905048 (ebk.) 1441905049 (ebk) 12642830 (OCoLC)ocn428028038 Muzammil BTCTA BTCTA IXA GBVCP HEBIS DEBBG NLGGC DLC lccopycat TK7895.E42 E614 2009 004.21 EMB 620 sdnb ST 153 rvk 54.51 bcl Embedded system design : modeling, synthesis and verification / Daniel D. Gajski ... [et al.]. Dordrecht ; New York : Springer, c2009. xxiv, 352 p. : ill. ; 24 cm. Includes bibliographical references (p. [335]-347) and index. Hard binding Embedded computer systems Design and construction. 81535 Programmatuurtechniek gtt 83767 Embedded systems gtt 63995 Modellen (vorm) gtt 83768 Eingebettetes System. swd 81621 Gajski, Daniel D. 81556 0 ibc copycat 2 ncip 20 y-gencatlg ddc BK 586669 586669 0 0 ddc 0 0 SMME SMME GEN 2021-11-09 0 004.21 EMB SMME-1860 2021-11-09 2021-11-09 BK Rack,50-Shelf,3