Produktbild: The Unknown Component Problem
- 12%

The Unknown Component Problem Theory and Applications

12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

15.11.2011

Verlag

Springer Us

Seitenzahl

312

Maße (L/B/H)

24,1/16/2,3 cm

Gewicht

658 g

Auflage

2012

Sprache

Englisch

ISBN

978-0-387-34532-1

Beschreibung

Rezension

From the reviews:

“Synthesis is a hard computational area that is now becoming accessible, thanks to increasing computational power. It is good to have a book from experts that surveys the techniques available.” (K. Lodaya, ACM Computing Reviews, November, 2012)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

15.11.2011

Verlag

Springer Us

Seitenzahl

312

Maße (L/B/H)

24,1/16/2,3 cm

Gewicht

658 g

Auflage

2012

Sprache

Englisch

ISBN

978-0-387-34532-1

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: The Unknown Component Problem
  • 1. Synopsis.- 2. Equations over Languages and Finate Automata.- 3. Equations over Finite State Machines.- 4. Equations Over w-Automata.- 5. A Survey of Relevant Literature.- 6. Implementation of Automata Manipulations.- 7. Manipulations of FSMs Represented as Sequential Circuits.- 8. The Software Package BALM.- 9. Fundamental Operations in BALM.- 10. Computation of Flexibility in Sequential Networks.- 11. Computation of Sequential Flexibility in Netlists by Windowing.- 12. Computation of Sequential Flexibility in Networks of FSMs by Windowing.- 13. Language Solving Using Simulation Relations.- 14. Exploitation of Flexibility in Sequential Networks.- 15. Supervisory Control.- 16. Testing.- 17. Synthesis of Strategies for Games.- 18. Extending BALM to Synchronous Equations Over co-Büchi Specifications.- 19. Conclusions and Open Problems.