Separation Logic for High-level Synthesis - bib.howest.be

Separation Logic for High-level Synthesis

Type:: e-book
Titel:: Separation Logic for High-level Synthesis
Auteur:: Winterstein, Felix
Taal:: Engels
Uitgever:: Springer International Publishing 2017
ISBN:: 3-319-53221-9
3-319-53222-7
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000001079863