| Separation Logic for High-Level Synthesis 2017 Edition Contributor(s): Winterstein, Felix (Author) |
|
 |
ISBN: 3319532219 ISBN-13: 9783319532219 Publisher: Springer OUR PRICE: $104.49 Product Type: Hardcover - Other Formats Published: March 2017 |
| Additional Information |
| BISAC Categories: - Technology & Engineering | Electronics - Circuits - General - Computers | Hardware - General - Computers | Logic Design |
| Dewey: 004.53 |
| Series: Springer Theses |
| Physical Information: 0.44" H x 6.14" W x 9.21" (0.87 lbs) 132 pages |
