Pastāsti draugiem par šo preci:
Separation Logic for High-level Synthesis - Springer Theses Felix Winterstein Softcover reprint of the original 1st ed. 2017 edition
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Felix Winterstein izdevumiem
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Separation Logic for High-level Synthesis - Springer Theses
Felix Winterstein
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, 7 Illustrations, color; 12 Illustrations, black and white; XIX, 132 p. 19 illus., 7 illus
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2018. gada 21. jūlijs |
| ISBN13 | 9783319850948 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 132 |
| Izmēri | 150 × 220 × 10 mm · 242 g |
| Valoda | Vācu |
Vairāk no tā paša izdevēja
Skatīt visus Felix Winterstein ( piem., Hardcover Book un Paperback Book )