The Unknown Component Problem: Theory and Applications [Hardcover] [Nov 15, 2011] Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre and Sangiovanni-Vincentelli, Alberto
Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
Language: English
Published by Springer, 2011
- Hardcover
- New
Seller: StainesBookhub, Weybridge, SURRE, United KingdomStainesBookhub
AbeBooks seller since October 20, 2023
Condition: New
US$ 95.97
Quantity: 1 available
Add to basketItem description from seller
A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.
Seller Inventory # SPRLISTINGBYSHB12764
- Title
- The Unknown Component Problem: Theory and Applications [Hardcover] [Nov 15, 2011] Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre and Sangiovanni-Vincentelli, Alberto
- Author
- Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
- Publisher
- Springer
- Publication year
- 2011
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0387345329
- ISBN 13
- 9780387345321
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. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems.
The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.
"Synopsis" may belong to another edition of this title.
From the Back Cover
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. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems.
The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.
"About the title" may belong to another edition of this title.
StainesBookhub
Weybridge, SURRE, United Kingdom
AbeBooks seller since October 20, 2023
Shipping rates from United Kingdom to U.S.A.
| Item | 7 to 16 business days | 3 to 10 business days |
|---|---|---|
| First item | US$ 40.07 | US$ 66.78 |
Payment methods
Store description
Staines Book aim to offer our customers a variety of the old & latest Books. With the Experience of more than 15 Years, we always keep an eye on the latest trends in Books and put our customers' wishes first, we try our best to give books to our customers on lowest prices. We ship Books through Fedex Priority. That is why we have satisfied customers all over the world, and are thrilled to be a part of the Books industry. Staines Books Hub also sell books in Bulk, We try our best to Provied High Quality, Fast Service, Global Shipping.…
Specialty
All type of booksSeller's business information
SIX SENSE STRATEGY LTD
SIX SENSE STRATEGY LTD, Haland House, Office # 9a, 66 York Road
Weybridge, United Kingdom KT13 9DY
Terms of sale
StainesBookHub aim to offer our customers a variety of the old & latest Books. With the Experience of more than 15 Years, we always keep an eye on the latest trends in Books and put our customers' wishes first, we try our best to give books to our customers on lowest prices. We ship Books through Fedex Priority. That is why we have satisfied customers all over the world, and are thrilled to be a part of the Books industry. StainesBooksHub also sell books in Bulk, We try our best to Provied High Quality, Fast Service, Global Shipping.
Shipping terms
We ship Books through Fedex Priority