Author Results for Winterstein, Felix

SpringerLink Online service

1
Separation logic for high-level synthesis /

Cover is for reference only
Main Authors: Winterstein, Felix
Published: Springer,
Publication Dates: [2017]
Call Number: TP338.6/W788
Book
Save to List
Saved in:
2
Separation Logic for High-level Synthesis /

Cover is for reference only
Main Authors: Winterstein, Felix
Corporate Authors: SpringerLink Online service
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —