| Separation Logic for High-Level Synthesis Softcover Repri Edition Contributor(s): Winterstein, Felix (Author) |
|
 |
ISBN: 3319850946 ISBN-13: 9783319850948 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: July 2018 |
| Additional Information |
| BISAC Categories: - Technology & Engineering | Electronics - Circuits - General - Computers | Hardware - General - Computers | Logic Design |
| Dewey: 004.53 |
| Series: Springer Theses |
| Physical Information: 0.33" H x 6.14" W x 9.21" (0.50 lbs) 132 pages |
