Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series) - Softcover

Baeten, J.C.M. M.; Middelburg, C.A.

9783642077883: Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series)

Softcover

ISBN 10: 3642077889 ISBN 13: 9783642077883

Verlag: Springer, 2010

Alle Exemplare dieser ISBN-Ausgabe

3 Gebraucht

Von EUR 110,82

12 Neu

Von EUR 47,23

The first book systematically dealing with the issue of timing in systems design and analysis.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Cr�ticas

From the reviews:

"This book gives a comprehensive overview of more than a decade of development of an algebraic theory of processes with time. ... Throughout the text small examples and exercises illustrate the theory. ... This book is well-suited as background material or even a starting point for researchers in this field. Due to its excellent readability and its abundance of exercises the book is even suited to be used in an advanced course." (J. F. Groote, Zentralblatt MATH, Vol. 1021, 2003)

Rese�a del editor

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 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 continuous.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2010
Sprache: Englisch
ISBN 10: 3642077889
ISBN 13: 9783642077883
Einband: Tapa blanda
Anzahl der Seiten: 312
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Gebraucht kaufen

Zustand: Wie neu

Unread book in perfect condition...

Diesen Artikel anzeigen

EUR 110,82

W�hrung umrechnen

EUR 17,17 f�r den Versand von Vereinigtes K�nigreich nach Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Neu kaufen

Diesen Artikel anzeigen

EUR 47,23

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Weitere beliebte Ausgaben desselben Titels

9783540434474: Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series)

Vorgestellte Ausgabe

ISBN 10: 354043447X ISBN 13: 9783540434474
Verlag: Springer, 2002
Hardcover

Springer, 2014 (Softcover)

Suchergebnisse f�r Process Algebra with Timing (Monographs in Theoretical...

Foto des Verk�ufers

Process Algebra with Timing

J.C.M. Baeten|C.A. Middelburg

Verlag: Springer Berlin Heidelberg, 2010

ISBN 10: 3642077889 ISBN 13: 9783642077883

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 4 von 5 Sternen

Zustand: 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 . Bestandsnummer des Verk�ufers 5046846

Verk�ufer kontaktieren

Neu kaufen

EUR 47,23

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Process Algebra with Timing

C. A. Middelburg

Verlag: Springer Berlin Heidelberg, 2010

ISBN 10: 3642077889 ISBN 13: 9783642077883

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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. Bestandsnummer des Verk�ufers 9783642077883

Verk�ufer kontaktieren

Neu kaufen

EUR 53,49

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Process Algebra with Timing

C. A. Middelburg

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2010, 2010

ISBN 10: 3642077889 ISBN 13: 9783642077883

Neu Taschenbuch

Print-on-Demand

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. 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. Bestandsnummer des Verk�ufers 9783642077883

Verk�ufer kontaktieren

Neu kaufen

EUR 53,49

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Process Algebra with Timing

C. A. Middelburg

Verlag: Springer Berlin Heidelberg Dez 2010, 2010

ISBN 10: 3642077889 ISBN 13: 9783642077883

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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 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 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 continuous. 312 pp. Englisch. Bestandsnummer des Verk�ufers 9783642077883

Verk�ufer kontaktieren