online einkaufen - Shopping Schweiz
Zur Einkaufsliste hinzufügen

eUniverse - Separation Logic for High-level Synthesis online verfügbar und bestellen

Berichten Sie über das Produkt

Image of Separation Logic for High-level Synthesis

sich mit diesen Richtlinien zu befassen, auch als Verbraucher sollten Sie diese schonmal gesehen haben So, mit dieser Übersicht sollten Sie erst einmal gerüstet sein für das nächste Mal ob bereits beim Absenden des Warenkorbs

Verwirrt? Link zum original Text


EAN: 9783319532219
Marke: Springer Berlin,Springer International Publishing,Springer
weitere Infos: MPN: 62011984
  im Moment nicht an Lager
Online Shop: eUniverse

CHF 132.50 bei eUniverse

Kostenloser Versand

Verfügbarkeit: 21 Werktage Tage

Shop besuchen
Shop Artikelname Preis  
Separation Logic for High-level Synthesis CHF 132.50 Shop besuchen
Verwandte Produkte
Image of Logic Synthesis for FPGA-Based Control Units: Structural Decomposition in Logic Design
Logic Synthesis for FPGA-Based Control Units: Structural Decomposition in Logic Design
 CHF 143.00

mehr Informationen

Berichten Sie über das Produkt

FSM-Based Models of Control Units.- Structural decomposition in FSM synthesis.- Twofold State Assignment for Mealy FSMs.- Twofold...

Image of Advanced Logic Synthesis
Advanced Logic Synthesis
 CHF 153.00

mehr Informationen

Berichten Sie über das Produkt

1. EDA3.0: Implications to Logic Synthesis 2. Can parallel programming revolutionize EDA tools? 3. Emerging Circuit Technologies:...

Image of Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinbur
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinbur
 CHF 74.90

mehr Informationen

Berichten Sie über das Produkt

Partial Evaluation of Order-sorted Equational Programs modulo Axioms.- A Formal, Resource Consumption-Preserving Translation of Actors...