Separation Logic for High-level Synthesis - Springer Theses - Felix Winterstein - Books - Springer International Publishing AG - 9783319850948 - July 21, 2018
In case cover and title do not match, the title is correct

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

Price
HK$ 821
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 21, 2018
ISBN13 9783319850948
Publishers Springer International Publishing AG
Pages 132
Dimensions 150 × 220 × 10 mm   ·   242 g
Language German  

Mere med samme udgiver

See all of Felix Winterstein ( e.g. Hardcover Book and Paperback Book )