• Produktbild: Concurrency and Hardware Design
  • Produktbild: Concurrency and Hardware Design
Band 2549

Concurrency and Hardware Design Advances in Petri Nets

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.11.2002

Abbildungen

X, 346 p.

Herausgeber

Jordi Cortadella + weitere

Verlag

Springer Berlin

Seitenzahl

346

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

546 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-00199-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.11.2002

Abbildungen

X, 346 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

346

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

546 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-00199-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Concurrency and Hardware Design
  • Produktbild: Concurrency and Hardware Design
  • Formal Models.- Composing Snippets.- A Programming Approach to the Design of Asynchronous Logic Blocks.- Asynchronous Circuits.- GALA (Globally Asynchronous — Locally Arbitrary) Design.- Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.- Decomposition in Asynchronous Circuit Design.- Embedded System Design.- Functional and Performance Modeling of Concurrency in VCC.- Modeling and Designing Heterogeneous Systems.- Timed Verification and Performance Analysis.- Timed Verification of Asynchronous Circuits.- Performance Analysis of Asynchronous Circuits Using Markov Chains.