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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Physics of the Earths Space Environment
$119.99
Recht und Technik im Spannungsfeld der Kernenergiekontroverse
$69.99
Placing Property
$32.99
Tricky Coaching
$84.99
Content-based Language Learning in Multilingual Educational Environments
$109.99
Intracerebral Hemorrhage Research
$169.00
Recent Trends in Wireless and Mobile Networks
$84.99
Transactions on Computational Systems Biology VII
$54.99
Unfit to Be a Slave
$49.99
Selenium in Biology and Human Health
$39.99
Wireless Sensor Networks
$89.99
Girl, Stolen
$5.99
Rechtsmedizin
$74.99
A Therapists Manual for Cognitive Behavior Therapy in Groups
$39.99
Praktische Statik nach Cross, Steinman und Kani
$44.99
Fiona Helps a Friend by Zondervan
$18.99
Case Studies in Bayesian Statistics
$109.99
Mycorrhizas - Functional Processes and Ecological Impact
$199.99
The Living Politics of Self-Help Movements in East Asia
$79.99
Foreign Direct Investment in the Real and Financial Sector of Industrial Countries
$169.00
Scrum Einfhrung in der Unternehmenspraxis
$49.99
The Indispensability of Phenomenology, Experiment and History
$129.99
A Companion to Research in Teacher Education
$219.99
Instrument Development for Atmospheric Research and Monitoring
$169.99
The Basal Ganglia VIII
$259.00
13C-NMR of Natural Products
$169.00
Diskurs und Macht
$32.99
Einfhrung in Wahrscheinlichkeitsrechnung, Statistik und Stochastische Prozesse
$29.99
Aufladung der Verbrennungskraftmaschine
$129.99
Microbial Interventions in Agriculture and Environment
$129.00
Principles of Nonparametric Learning
$159.99
Modeling Financial Time Series with S-PLUS
$84.99
Universum ohne Dinge
$29.99
The Generation of High Magnetic Fields
$54.99
The World Told and the World Shown
$39.99
Pdiatrische Sportmedizin
$54.99
Migrating to Swift from Flash and ActionScript
$39.99
Action Programming Languages
$19.99
STAT Standing Tall and Talented: Slam Dunk
$4.49
Handbook of Quality Management in Behavioral Health
$139.00
