Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Introduction to Process Algebra
Best Price:
Buy Introduction to Process Algebra for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Problems Involving Change of Type
$39.99
Clever manipulieren
$49.99
Dinaric Perspectives on TIMSS 2019
$59.99
University Engagement With Socially Excluded Communities
$109.99
Imagining Human Rights in Twenty-First Century Theater
$54.99
Salinity Responses and Tolerance in Plants, Volume 2
$84.99
Constructing China's Capitalism
$39.99
Topologie
$49.99
Beziehungsmedizin auf dem Monte Verit
$39.99
JAK-STAT Signalling
$109.99
Kinderlosigkeit im Alter (k)ein Thema?!
$54.99
ISDN Das diensteintegrierende digitale Nachrichtennetz
$54.99
Living and Dying Well
$169.99
Into the Realm of Oberon
$39.99
Untersuchungen zum Problem des Fehlerhaften Staatsakts
$59.99
Faschismus
$39.99
Applied Informatics
$99.99
Screening European Heritage
$27.99
Transnationalisierung der Arbeit
$39.99
Retail Banking im Informationszeitalter
$89.99
Animal Ears: 6-Book Set
$21.95
Maize
$169.99
Experiencing Nature
$25.00
Future Value
$59.99
The Forgotten Financiers of the Louisiana Purchase
$139.99
Cultural Economy and Television in Jamaica and Ghana
$39.99
Mobile Information Service for Networks
$84.99
Qualittssicherung in der Psychiatrie
$59.99
Industrielle Dienstleistungen in sieben Handlungsfeldern
$17.99
The Beta-Adrenergic Receptors
$169.99
International Conference on Innovative Computing and Communications
$169.00
Seafoods
$109.99
Pragmatist Ethics for a Technological Culture
$109.99
Hip Hop, Hegel, and the Art of Emancipation
$49.99
Cutting-edge Vitreoretinal Surgery
$199.99
Gaming in Social, Locative and Mobile Media
$39.99
Palaeolimnological Proxies as Tools of Environmental Reconstruction in Fresh Water
$169.99
Die fabelhafte Welt der Mathematik
$19.99
Advances in Human Factors in Architecture, Sustainable Urban Planning and Infrastructure
$149.00
Onconephrology
$159.99
