Separation Logic for High-level Synthesis [electronic resource] / by Felix Winterstein..    Springer eBooks.  Cham : Springer International Publishing : Imprint: Springer, 2017. . XIX, 132 p. 19 illus., 7 illus. in color.
Plný text pro studenty a zaměstnance UPOL