Overview
Book details: Separation Logic for High-Level Synthesis - Paperback by author Felix Winterstein, Published by Springer, in Paperback or Softback binding, 132 pages, ISBN 9783319850948
Separation Logic for High-Level Synthesis - Paperback
$117.22
(No reviews yet)
Write a Review
Write a Review
Springer
Separation Logic for High-Level Synthesis - Paperback
Product Details
- Author:
- Felix Winterstein
- Publisher:
- Springer
- Publication Date:
- Jul 21, 2018
- Number of pages:
- 132 pages
- Binding:
- Paperback or Softback
- ISBN-10:
- 3319850946
- ISBN-13:
- 9783319850948
Reviews
0 Reviews
No reviews yet.
Share your experience and help another reader choose their next book.
