Process Algebra Timing by Baeten J C M (28 results)

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

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.

Hardcover. Condition: Good. 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. Copyright © Springer Berlin Heidelberg.…

Condition: New.

Condition: New.

Condition: New. In English.

Condition: New. In English.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New. pp. 312.

Condition: New. pp. 316.

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The first book systematically dealing with the issue of timing in systems design and analysis.

Condition: New. 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 .

Taschenbuch. Condition: Neu. Process Algebra with Timing | J. C. M. Baeten (u. a.) | Taschenbuch | xix | Englisch | 2010 | Springer | EAN 9783642077883 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

hardcover. Condition: New. In shrink wrap. Looks like an interesting title.

hardcover. Condition: New. In shrink wrap. Looks like an interesting title.

Condition: new. Questo è un articolo print on demand.

PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Condition: New. Print on Demand pp. 312 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condition: New. Print on Demand pp. 316 Illus.

Condition: 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 .…

Condition: New. PRINT ON DEMAND pp. 312.

Condition: New. PRINT ON DEMAND pp. 316.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The first book systematically dealing with the issue of timing in systems design and analysis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 312 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The first book systematically dealing with the issue of timing in systems design and analysis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 312 pp. Englisch.