この商品を友人に教える:
Separation Logic for High-level Synthesis - Springer Theses Felix Winterstein Softcover reprint of the original 1st ed. 2017 edition
価格
¥ 17.136
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月15日 - 年9月25日
Felix Winterstein の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能:
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
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2018年7月21日 |
| ISBN13 | 9783319850948 |
| 出版社 | Springer International Publishing AG |
| ページ数 | 132 |
| 寸法 | 150 × 220 × 10 mm · 242 g |
| 言語 | ドイツ語 |