Separation Logic for High-level Synthesis - Springer Theses - Felix Winterstein - Libros - Springer International Publishing AG - 9783319532219 - 3 de marzo de 2017
En caso de que portada y título no coincidan, el título será el correcto

Felix Winterstein
Separation Logic for High-level Synthesis - Springer Theses 1st ed. 2017 edition

Precio
Mex$ 1.838
sin IVA

Pedido desde almacén remoto

Entrega prevista 6 - 16 de jul.

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

También disponible como:

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial 'state of the art'.

132 pages, 12 black & white illustrations, 7 colour illustrations, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 3 de marzo de 2017
ISBN13 9783319532219
Editores Springer International Publishing AG
Páginas 132
Dimensiones 155 × 235 × 11 mm   ·   394 g
Lengua Francés  

Mere med samme udgiver

Ver todo de Felix Winterstein ( Ej. Hardcover Book y Paperback Book )