wyszukanych pozycji: 2
Separation Logic for High-Level Synthesis
ISBN: 9783319532219 / Angielski / Twarda / 2017 / 132 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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'.
This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to a...
|
|
cena:
383,73 zł |
Separation Logic for High-Level Synthesis
ISBN: 9783319850948 / Angielski / Miękka / 2018 / 132 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
383,73 zł |