Verwandte Artikel zu Handbook of Process Algebra
Críticas
J.V. Tucker
For the computer scientist interested in fundamental theory or in design, the Handbook is a treasure house of insights and information......the editors must be congratulated in having created a major landmark in this exciting area of science....
The Computer Journal
Reseña del editor
Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra.
This Handbook documents the fate of process algebra since its inception in the late 1970's to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters.
The organization is as follows. Part 1, consisting of four chapters, covers a broad swath of the basic theory of process algebra. Part 2 contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes, while the three chapters of Part 3 look at infinite-state processes, value-passing processes and mobile processes in particular. Part 4, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority. The four chapters of Part 5 examine non-interleaving process algebras, while Part 6's three chapters address process-algebra tools and applications.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagElsevier Science Ltd
- Erscheinungsdatum2001
- ISBN 10 0444828303
- ISBN 13 9780444828309
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten1356
- HerausgeberBergstra J.A., Ponse A., Smolka S.A.
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque. Edition... Mehr zu diesem Angebot erfahren
EUR 92,41
Versand:
EUR 8,00
Von Frankreich nach USA
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Handbook of Process Algebra
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers F-934-044
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Handbook of Process Algebra
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-578-023
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Handbook of Process Algebra
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Gut. 1356 Seiten; 9780444828309.3 Sprache: Deutsch Gewicht in Gramm: 5. Bestandsnummer des Verkäufers 564428
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Handbook of Process Algebra
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,2500grams, ISBN:9780444828309. Bestandsnummer des Verkäufers 9981954
Anzahl: 1 verfügbar
Foto des Verkäufers
Handbook of Process Algebra
Verlag:
Elsevier Science Publishing, 2001
ISBN 10: 0444828303
ISBN 13: 9780444828309
Gebraucht
Hardcover
Anbieter: Salish Sea Books, Bellingham, WA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Good++; Hardcover; Light wear to the covers; Unblemished textblock edges; Corporate library stamps to the front endpapers; Text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); Light and dark blue covers with title in dark blue lettering; 2001, Elsevier Science Publishing; 1356 pages; "Handbook of Process Algebra," by J.A. Bergstra, et al. Bestandsnummer des Verkäufers SKU-W26AA07908080
Anzahl: 1 verfügbar