Tallenna
The Unknown Component Problem
sidottu, 2011
englanti
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages.
- Alaotsikko
- Theory and Applications
- Kirjailija
- Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
- Painos
- 2012
- ISBN
- 9780387345321
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 15.11.2011
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 312
