Synchronous Equivalence: Formal Methods for Embedded Systems - Harry Hsieh - Libros - Springer - 9780792372622 - 31 de diciembre de 2000
En caso de que portada y título no coincidan, el título será el correcto

Harry Hsieh
Synchronous Equivalence: Formal Methods for Embedded Systems 2001 edition

Precio
$ 102,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 27 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Harry Hsieh

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation.

136 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de diciembre de 2000
ISBN13 9780792372622
Editores Springer
Páginas 136
Dimensiones 155 × 235 × 11 mm   ·   911 g
Lengua Inglés  

Más del mismo editor

Ver todo de Harry Hsieh