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 (Coupon Required):
Buy Introduction to Process Algebra for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | 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
Die partiell gemeinntzige (natrliche) Person
$54.99
Albert Bitzius
$59.99
Phenomenology of Space and Time
$84.99
Schner fremder Klang Wie exotische Musik nach Deutschland kam
$34.99
Der Verlauf der Staublungenerkrankung bei den Gesteinshauern des Ruhrkohlengebietes
$59.99
Sklaverei und Freilassung im rmischen Recht
$159.99
Cooperative Control of Multi-agent Systems
$139.00
A New Social Contract in a Latin American Education Context
$39.99
Human Rights
$27.02
Exploring the Universe
$34.99
Pro Puppet
$59.99
Einfhrung in die Gesteinskunde
$64.99
Perspectives in Modern Seismology
$84.99
Combustion Optimization Based on Computational Intelligence
$109.99
Human Factors in der Industrie
$89.99
Fortschritte der Elektrokardiologie 1963 und 1964
$44.99
Ultimate Strength and Design of Reinforced Concrete Beams under Bending and Shear / Rsistance et di
$74.99
E-Mental-Health in Psychiatrie und Psychotherapie
$39.99
My First I Can Read! - Biscuit: Biscuit Loves the Park
$4.46
The Beauty of Fractals
$109.99
European Union History
$39.99
Allgemeine Chemie - ein Leselehrbuch
$29.99
Optimal Control of Partial Differential Equations
$109.99
Grundlagen, Verbindungen, Lager, Wellen und Zubehr
$84.99
Antimicrobial Compounds
$169.99
Zu Neufunden klassisch-griechischer Skulptur
$59.99
Keep It Together, Keiko Carter
$5.99
Einfhrung in die Festkrperphysik I
$69.99
Geld- und Bankwesen
$69.99
Optimization, Learning Algorithms and Applications
$69.99
Stability Estimates for Hybrid Coupled Domain Decomposition Methods
$29.99
Environmental and Natural Disaster Resilience of Indonesia
$129.00
Outsourcing unternehmensinterner Dienstleistungen
$49.99
Control Using Logic-Based Switching
$39.99
Solution Structure and Solution Dynamics in Chiral Ytterbium (III) Complexes
$24.95
Subcellular Biochemistry
$39.99
Developing Principles and Models for Sustainable Forestry in Sweden
$219.99
The Biblical Accommodation Debate in Germany
$19.99
SafeScrum Agile Development of Safety-Critical Software
$69.99
Developing Solutions for Microsoft Azure Certification Companion
$59.99
