Articles liés à Process Algebra With Timing
Synopsis
The first book systematically dealing with the issue of timing in systems design and analysis.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 47,23
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Process Algebra With Timing
Image fournie par le vendeur
Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series)
Edité par
Springer, 2002
ISBN 10 : 354043447X
ISBN 13 : 9783540434474
Ancien ou d'occasion
Couverture rigide
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
2002. 306 p. Unread book. Very good condition. Minimum traces of storage. 9783540434474 Sprache: Englisch Gewicht in Gramm: 581 Hardcover: 15.6 x 1.9 x 23.4 cm. N° de réf. du vendeur 203153
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Process Algebra with Timing
Edité par
Springer Berlin Heidelberg, 2002
ISBN 10 : 354043447X
ISBN 13 : 9783540434474
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e.g. of a controller. Even if timing is not essential for the correct behaviour of . N° de réf. du vendeur 4890460
Quantité disponible : Plus de 20 disponibles
Image d'archives
Process Algebra with Timing
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540434474_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Process Algebra with Timing
Edité par
Springer Berlin Heidelberg, 2002
ISBN 10 : 354043447X
ISBN 13 : 9783540434474
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is concerned with a number of theories that can be used for describ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in teract on time as well adds considerably to the complexity. In developing such a system, it is important to be able to acquire a better understanding of the relevant issues at the conceptual level, to describe the system in a precise way at various levels of detail, and to analyze it on the basis of the descriptions. When the early algebraic theories about processes, such as ACP [16, 17, 20], CCS [49, 50] and CSP [27, 39], were developed for that purpose, the established opinion was still that timing is a concern that can more often than not be treated independently. It is therefore not surprising that timing is deliberately ignored in those theories. They have now all been extended to deal with timing. N° de réf. du vendeur 9783540434474
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Process Algebra with Timing
Edité par
Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10 : 354043447X
ISBN 13 : 9783540434474
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Timing issues are of growing importance for the conceptualization and design of computer-based system. Timing may simply be es- sential for the correct behaviour of a system, e.g. of a controler. Even if timing is not essential for the correct behaviour of a system, there may be good reasons to introduce it in such a way that suitable timing becomes relevant for the correct behaviour of a complex system. This book is unique in presenting four algebraic theories about processes, each dealing with timing from a different point of view, in a coherent and systematic way. The timing of actions is either relative or absolute and the underlying time scale is either discrete or contiuous. All presented theories are extensions of the algebra of communicating processes. The book is essential reading for researchers and advanced students interested in timing issues in the context of the design and analysis of concurrent and communicating processes. 312 pp. Englisch. N° de réf. du vendeur 9783540434474
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Process Algebra with Timing
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10 : 354043447X
ISBN 13 : 9783540434474
Neuf
Couverture rigide
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -This book is concerned with a number of theories that can be used for describ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in teract on time as well adds considerably to the complexity. In developing such a system, it is important to be able to acquire a better understanding of the relevant issues at the conceptual level, to describe the system in a precise way at various levels of detail, and to analyze it on the basis of the descriptions. When the early algebraic theories about processes, such as ACP [16, 17, 20], CCS [49, 50] and CSP [27, 39], were developed for that purpose, the established opinion was still that timing is a concern that can more often than not be treated independently. It is therefore not surprising that timing is deliberately ignored in those theories. They have now all been extended to deal with timing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch. N° de réf. du vendeur 9783540434474
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Process Algebra With Timing
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 980728-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Process Algebra with Timing
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783540434474
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Process Algebra With Timing
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 980728-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Process Algebra with Timing
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002
ISBN 10 : 354043447X
ISBN 13 : 9783540434474
Neuf
Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Deals with the issue of timing in systems design and analysis. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 306 pages, biography. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 620. . 2002. Hardback. . . . . N° de réf. du vendeur V9783540434474
Quantité disponible : 15 disponible(s)