Separation Logic for High-level Synthesis (Springer Theses)

Separation

von Felix Winterstein

Gebunden

ISBN: 978-3-319-53221-9

ISBN-10: 3-319-53221-9

Springer · 2017

Siehe auch:
2018TaschenbuchSeparation Logic for High-level Synthesis (Springer Theses)