Embedded system design : modeling, synthesis and verification /

Detalles Bibliográficos
Formato: Libro
Publicado: c2009.
Acceso en línea:Ver documento en línea
LEADER 00629nam a2200133 a 4500
001 000746235
005 20250320111738.0
008 241002 2009 gr |||||| d
020 |a 9781441905048  |q (ebook) 
040 |a Sistema de Bibliotecas de Universidad de Costa Rica  
245 1 0 |a Embedded system design :  |b modeling, synthesis and verification /  |c Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner. 
260 |c c2009. 
506 |a Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional 
856 4 1 |u https://springerlink.proxyucr.elogim.com/book/10.1007/978-1-4419-0504-8  |y Ver documento en línea