Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) - Hardcover
Book 35 of 45: Texts in Theoretical Computer Science. An EATCS
Synopsis
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Introduction to Process Algebra (Texts in Theoretical...
Stock Image
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_381830100
Seller Image
Introduction to Process Algebra.
Seller: Antiquariat Dorner, Reinheim, Germany
Seller rating 5 out of 5 stars
Berlin, Springer 2000. VIII, 163 S., OPappband Neuwertig. Seller Inventory # 118359
Buy Used
US$ 13.19
US$ 36.09 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Auflage: 2000. 168 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 315 24,1 x 16,1 x 1,4 cm, Gebundene Ausgabe. Seller Inventory # 367821
Buy Used
US$ 29.68
US$ 27.94 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Introduction to Process Algebra
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 918749
Stock Image
Introduction to Process Algebra
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 918749-n
Stock Image
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540665793_new
Buy New
US$ 70.02
US$ 16.15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Introduction to Process Algebra
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 180. Seller Inventory # 26348560
Seller Image
Introduction to Process Algebra
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 918749-n
Buy New
US$ 70.01
US$ 20.22 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Introduction to Process Algebra
Published by
Springer Berlin Heidelberg Dez 1999, 1999
ISBN 10: 354066579X
ISBN 13: 9783540665793
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications. 180 pp. Englisch. Seller Inventory # 9783540665793
Buy New
US$ 64.14
US$ 26.78 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Introduction to Process Algebra
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 180 Illus. Seller Inventory # 7532111
Buy New
US$ 84.86
US$ 8.76 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available