5
1
![Separation Logic for High-level Synthesis](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.8.5)
Separation Logic for High-level Synthesis
132![Separation Logic for High-level Synthesis](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.8.5)
Separation Logic for High-level Synthesis
132eBook(1st ed. 2017)
$96.99
$129.00
Save 25%
Current price is $96.99, Original price is $129. You Save 25%.
Related collections and offers
96.99
In Stock
Product Details
ISBN-13: | 9783319532226 |
---|---|
Publisher: | Springer-Verlag New York, LLC |
Publication date: | 02/27/2017 |
Series: | Springer Theses |
Sold by: | Barnes & Noble |
Format: | eBook |
Pages: | 132 |
File size: | 2 MB |
About the Author
From the B&N Reads Blog