Articles liés à The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications - Couverture souple

 
9781489973948: The Unknown Component Problem: Theory and Applications

Synopsis

The authors of this book cast the problem as solving abstract equations over language and study the most general (largest) solutions under the synchronous and parallel composition operators. They also apply such equations to languages associated with important classes of automata used for modeling systems, e.g., regular languages as counterparts of finite automata, FSM languages as counterparts of FSMs. The authors investigate the largest subsets of solutions closed with respect to various language properties; in particular, classes of the largest compositional solutions (defined by properties exhibited by the composition of the solution and of the context). The first algorithm to compute the largest compositionally progressive solution of synchronous equations is provided. This approach unifies in a seamless frame previously reported techniques.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2014
  • ISBN 10 148997394X
  • ISBN 13 9781489973948
  • ReliureBroché
  • Langueanglais
  • Nombre de pages328
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Comme neuf
Like New
Afficher cet article
EUR 226,84

Autre devise

EUR 29,67 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 136,16

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780387345321: The Unknown Component Problem: Theory And Applications

Edition présentée

ISBN 10 :  0387345329 ISBN 13 :  9780387345321
Editeur : Springer-Verlag New York Inc., 2011
Couverture rigide

Résultats de recherche pour The Unknown Component Problem: Theory and Applications

Image fournie par le vendeur

Tiziano Villa|Nina Yevtushenko|Robert K. Brayton|Alan Mishchenko|Alexandre Petrenko|Alberto Sangiovanni-Vincentelli
Edité par Springer US, 2014
ISBN 10 : 148997394X ISBN 13 : 9781489973948
Neuf Kartoniert / Broschiert
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a complete account by a unified mathematical model of a synthesis problem that appears in different areas of computer science and design of electronic systemsPresents different types of mathematical models that can be used to specify the . N° de réf. du vendeur 4212661

Contacter le vendeur

Acheter neuf

EUR 136,16
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Tiziano Villa
Edité par Springer US Jan 2014, 2014
ISBN 10 : 148997394X ISBN 13 : 9781489973948
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 328 pp. Englisch. N° de réf. du vendeur 9781489973948

Contacter le vendeur

Acheter neuf

EUR 160,49
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
Edité par Springer, 2014
ISBN 10 : 148997394X ISBN 13 : 9781489973948
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9781489973948_new

Contacter le vendeur

Acheter neuf

EUR 170,18
Autre devise
Frais de port : EUR 4,74
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Tiziano Villa
Edité par Springer US, 2014
ISBN 10 : 148997394X ISBN 13 : 9781489973948
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9781489973948

Contacter le vendeur

Acheter neuf

EUR 164,49
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tiziano Villa
ISBN 10 : 148997394X ISBN 13 : 9781489973948
Neuf Taschenbuch
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch. N° de réf. du vendeur 9781489973948

Contacter le vendeur

Acheter neuf

EUR 160,49
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
Edité par Springer, 2014
ISBN 10 : 148997394X ISBN 13 : 9781489973948
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar2716030158356

Contacter le vendeur

Acheter neuf

EUR 161,19
Autre devise
Frais de port : EUR 65,75
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Tiziano Villa Robert K. Brayton Nina Yevtushenko
Edité par Springer, 2014
ISBN 10 : 148997394X ISBN 13 : 9781489973948
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 328. N° de réf. du vendeur 26127711656

Contacter le vendeur

Acheter neuf

EUR 226,29
Autre devise
Frais de port : EUR 7,89
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Villa Tiziano Brayton Robert K. Yevtushenko Nina
Edité par Springer, 2014
ISBN 10 : 148997394X ISBN 13 : 9781489973948
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Print on Demand pp. 328 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 132843127

Contacter le vendeur

Acheter neuf

EUR 233,47
Autre devise
Frais de port : EUR 10,50
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Villa Tiziano Brayton Robert K. Yevtushenko Nina
Edité par Springer, 2014
ISBN 10 : 148997394X ISBN 13 : 9781489973948
Neuf Couverture souple
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND pp. 328. N° de réf. du vendeur 18127711650

Contacter le vendeur

Acheter neuf

EUR 239,97
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Villa, Tiziano, Yevtushenko, Nina, Brayton, Robert K., Mishc
Edité par Springer, 2014
ISBN 10 : 148997394X ISBN 13 : 9781489973948
Ancien ou d'occasion Paperback

Vendeur : dsmbooks, Liverpool, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Like New. Like New. book. N° de réf. du vendeur D7F7-3-M-148997394X-6

Contacter le vendeur

Acheter D'occasion

EUR 226,84
Autre devise
Frais de port : EUR 29,67
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier