• Produktbild: The Unknown Component Problem
  • Produktbild: The Unknown Component Problem
- 12%

The Unknown Component Problem Theory and Applications

12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.01.2014

Abbildungen

XVI, 312 p.

Verlag

Springer Us

Seitenzahl

312

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

499 g

Auflage

2012

Sprache

Englisch

ISBN

978-1-4899-7394-8

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

Taschenbuch

Erscheinungsdatum

25.01.2014

Abbildungen

XVI, 312 p.

Verlag

Springer Us

Seitenzahl

312

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

499 g

Auflage

2012

Sprache

Englisch

ISBN

978-1-4899-7394-8

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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
  • 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.