Separation Logic for High-level Synthesis - Springer Theses - Felix Winterstein - 書籍 - Springer International Publishing AG - 9783319850948 - 2018年7月21日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Separation Logic for High-level Synthesis - Springer Theses Softcover reprint of the original 1st ed. 2017 edition

価格
¥ 17.136
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月15日 - 年9月25日
Felix Winterstein の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能:

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
言語 ドイツ語  

同じ出版社からのその他の記事