Lanean...

Embedded system design : modeling, synthesis and verification /

Xehetasun bibliografikoak
Beste egile batzuk: Gajski, Daniel D.
Formatua: Printed Book
Hizkuntza:English
Argitaratua: Dordrecht ; New Delhi: Springer, c2013.
Gaiak:
LEADER 00957cam a22002657a 4500
005 20160322165208.0
008 090619s2009 ne a b 001 0 eng d
020 |a 9781441905031(hbk.) 
020 |a 1441905030 (hbk.) 
020 |a 9781441905048 (ebk.) 
020 |a 1441905049 (ebk) 
041 |a eng 
082 0 4 |a 004.031.6  |b GAJ 
245 0 0 |a Embedded system design :  |b modeling, synthesis and verification /  |c Daniel D. Gajski ... [et al.]. 
260 |a Dordrecht ;  |a New Delhi:  |b Springer,  |c c2013. 
300 |a xxiv, 352 p. : 
650 0 |a Embedded computer systems  |x Design and construction.  |9 302 
650 1 7 |a Programmatuurtechniek  |9 2227 
650 1 7 |a Embedded systems  |9 70 
650 1 7 |a Modellen (vorm)  |9 2228 
650 0 7 |a Eingebettetes System.  |9 640 
700 1 |a Gajski, Daniel D.  |9 222 
942 |c BK  |6 _ 
999 |c 155933  |d 155933 
952 |0 0  |1 0  |4 0  |6 0040316_GAJ  |7 0  |9 203944  |a DCS  |b DCS  |c GEN  |d 2016-02-25  |o 004.031.6 GAJ  |p MCS05914  |r 2016-02-25  |w 2016-02-25  |y BK