Embedded system design : modeling, synthesis and verification /

Detalles Bibliográficos
Otros Autores: Gajski, Daniel D.
Formato: Libro
Lenguaje:English
Publicado: Dordrecht ; London : Springer, 2009.
Materias:
LEADER 00864nam a2200253 a 4500
001 000189005
005 20121005143637.0
008 121004s2009 xxu 000 0 eng d
020 |a 9781441905031 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
082 0 4 |a 004.21  |b E532e  |2 23 
245 0 0 |a Embedded system design :  |b modeling, synthesis and verification /  |c Daniel D. Gajski [y otros tres]. 
260 |a Dordrecht ;  |a London :  |b Springer,  |c 2009. 
300 |a 352 páginas :  |b ilustraciones, diagramas, gráficas, tablas. 
504 |a Referencias bibliográficas 
505 0 |a Índice 
590 |a ELEC 
650 1 4 |a Sistemas electrónicos integrados  |x Diseño y construcción 
650 1 4 |a Abdi, Samar 
650 1 4 |a Gerstlauer, Andreas 
650 1 4 |a Schirner, Gunar 
655 4 |a libros 
700 1 |a Gajski, Daniel D. 
902 |a Elieth  |b 2012/10/05