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

Name: Separation Logic for High-level Synthesis - Springer Theses
Price: 16623 JPY
Availability: OutOfStock
Author: Felix Winterstein

価格

¥ 16.623

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月12日 - 年10月22日

Felix Winterstein の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Paperback Book

Softcover reprint of the original 1st ed. 2017 edition

(2018) ¥ 16.623

Separation Logic for High-level Synthesis - Springer Theses

Felix Winterstein

1st ed. 2017 edition

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

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	2017年3月3日
ISBN13	9783319532219
出版社	Springer International Publishing AG
ページ数	132
寸法	155 × 235 × 11 mm · 394 g
言語	フランス語