Separation Logic for High-level Synthesis (Bog, Paperback / softback, Engelsk) af Felix Winterstein
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Elektronik: kredse og komponenter
  5. Kompilatorer og fortolkere
  6. Dataarkitektur og logisk design
  7. Computere og hardware
  8. Separation Logic for High-level Synthesis

Separation Logic for High-level Synthesis

(Bog, Paperback / softback, Engelsk)
Forfatter: Felix Winterstein
Separation Logic for High-level Synthesis
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Computere og hardware Dataarkitektur og logisk design Elektronik: kredse og komponenter Kompilatorer og fortolkere
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfatter Felix Winterstein
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 2017
Udgivelsesdato 21-07-2018
Første udgivelsesår 2018
Serie Springer Theses
Illustrationer 7 Illustrations, color; 12 Illustrations, black and white; XIX, 132 p. 19 illus., 7 illus. in color.
Originalsprog Switzerland
Sideantal 132
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 132 pages, 7 Illustrations, color; 12 Illustrations, black and white; XIX, 132 p. 19 illus., 7 illus
Mål 235 x 155
ISBN-13 / EAN-13 9783319850948