Neuware
Separation Logic for High-level Synthesis
von Felix Winterstein
2017 Gebunden, 152 Seiten, 241mm x 160mm x 14mm, Sprache(n): eng Proposes highly novel program-analysis techniques for the automatic synthesis of digital circuits from high-level programming languagesIs extremely timely as the proposed techniques are useful building blocks for future programming…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
121,78 EUR
Kostenloser Versand
Nichts passendes gefunden?
- ISBN / EAN
- 9783319532219
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!