skip to main content
Show Results with:

2 results  for Everything in this catalogue

Refined by: Related resources: remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thesis
Add to My workspace

Separation logic for high-level synthesis.

Felix Winterstein, author.

[Great Britain] : Imperial College London, 2016.

Online access

2
Separation logic for high-level synthesis / Felix Winterstein.
Material Type:
Book
Add to My workspace

Separation logic for high-level synthesis / Felix Winterstein.

Felix Winterstein, author.

Cham, Switzerland : Springer, 2017.

Online access

2 results  for Everything in this catalogue

Searching Remote Databases, Please Wait