Copied Introduction to Process Algebra
Introduction to Process Algebra
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.
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 |
Reviews
Questions & Answers
Measurement
$169.99
Hufige Hautkrankheiten im Kindesalter
$29.99
Master Narratives of Islamist Extremism
$39.99
Template-driven Consulting
$54.99
IUTAM Symposium on Anisotropy, Inhomogeneity and Nonlinearity in Solid Mechanics
$329.99
Economic Transformation and Business Opportunities in Asia
$139.99
The Nature and Models of Metamorphism
$119.00
Chicks and Salsa
$5.96
e-Infrastructure and e-Services for Developing Countries
$39.99
VHDL for Simulation, Synthesis and Formal Proofs of Hardware
$219.99
Knowledge, Morals and Practice in Kants Anthropology
$119.99
Gluten-free Bread Technology
$219.99
Atlas der Vagino- und Hysterosonographie
$69.99
Structural Equation Models
$69.99
SAP Next-Gen
$59.99
Ways Out Of Social Isolation For Older People In The Context Of New Media
$79.99
Effects of Non-locality in Gravity and Quantum Theory
$159.99
Fragrances in the Environment
$199.99
European Communities Oil and Gas Technological Development Projects
$169.99
Geologie der Schweiz
$29.99
Software Engineering Perspectives in Systems
$249.99
Formal Methods in Policy Formulation
$84.99
Subsecond Annealing of Advanced Materials
$54.99
Sustainable Finance
$37.99
The Antarctic Subglacial Lake Vostok
$109.99
Resistance to Targeted Therapies in Breast Cancer
$169.99
E-Government Strategy, ICT and Innovation for Citizen Engagement
$44.99
The Present Status of the Quantum Theory of Light
$219.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIII
$54.99
Erfolgreich beim Kunden in der digitalen Welt
$49.99
Energieeffizienz durch Erneuerbare Energien
$59.99
Data Compression
$74.99
Rethinking Business Schools
$109.99
A Geographic Perspective of Cuban Landscapes
$169.99
Nanomedicine in Treatment of Diseases
$89.00
Everyday Life in Austerity
$84.99
Hydrocephalus
$54.99
The Flavonoids
$109.99
Understanding Control Flow
$54.99
Advances in Mechanism Design IV
$219.00
