Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Unknown Component Problem

Name: Unknown Component Problem
Brand: Springer-Verlag New York Inc.
SKU: 01381943
Price: 59448 HUF
Availability: InStock
Author: Tiziano Villa
ISBN: 9780387345321

Theory and Applications

Alberto Sangiovanni-Vincentelli

Language

English

Book Hardback

Libristo code: 01381943

Publishers Springer-Verlag New York Inc., February 2007

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a com... Full description

Libristo code: 01381943

406 b

59 448 Ft

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Angličtina hravé procvičování Peter Nitsche

Paperback

1 391 Ft

Die Melodien der deutschen evangelischen Kirchenlieder Johannes Zahn

Paperback

10 755 Ft

BABADADA black-and-white, bosanski jezik - français canadien, slikovni rje?nik - dictionnaire visuel

Paperback

3 003 Ft

Notes Et Documents Sur l'Origine Des Redevances Et Services Coutumiers Au XIE Siecle Flach-J

Paperback

5 216 Ft

Kuran-i Kerim Meali Cep Tipi Boy

Paperback

5 068 Ft

Velká kniha Vaření a Pečení Caroll Richard

Hardback

2 518 Ft

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.