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
Logics for Concurrency
Best Price (Coupon Required):
Buy Logics for Concurrency 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
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail. Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.
Reviews
Questions & Answers
Schwestern
$49.99
An Ethical Approach to Leading Change
$109.99
Observations, Modeling and Systems Analysis in Geomagnetic Data Interpretation
$109.99
Logical Structure and Linguistic Structure
$54.99
Internationale Marktbearbeitung
$59.99
Supporting Families Experiencing Homelessness
$109.99
The Emergence of Pressure Blade Making
$109.99
Understanding Psychology in the Context of Relationship, Community, Workplace and Culture
$159.99
Systematics and Evolution
$169.99
Guide to Computer Viruses
$99.00
Let's-Read-and-Find-Out Science: Who Eats What?
$6.71
Wachsamkeit in der industriellen Beschaffung
$59.99
The Palgrave Handbook of Disability and Communication
$219.99
Erzhlte Politik
$69.99
Postletale Landwirtschaft
$34.99
The Power of Potential: How a Nontraditional Workforce Can Lead You to Run Your Business Better by Tom D'Eri
$28.99
Theorie und Konstantenbestimmung des hydrometrischen Flgels
$49.99
Soziale Netzwerke und Internet-Spielewelten
$59.99
Kurt Gdel: Results on Foundations
$199.99
Informatics in Control, Automation and Robotics 12th International Conference, ICINCO 2015 Colmar, F
$169.00
Distributed, Ambient and Pervasive Interactions
$54.99
Database and Expert Systems Applications
$54.99
Discourses of Anxiety over Childhood and Youth across Cultures
$84.99
Powwow
$11.21
Verordnung betreffend den Verkehr mit Arzneimitteln vom 22. Oktober ihrer abgenderten Fassu
$54.99
Psychologische Probleme
$59.99
Unemployment and Inflation in Economic Crises
$109.99
Foundations of Software Technology and Theoretical Computer Science
$39.99
Krise oder Wandel der Parteiendemokratie?
$64.99
Kommunale Sonderfinanzierung
$44.99
Social Change and Social Issues in the Former USSR
$84.99
The Politics of Porn for Young People in New Zealand
$129.99
Truth, Politics, and Universal Human Rights
$54.99
Lineare Optimierung eine anwendungsorientierte Einfhrung in Operations Research
$37.99
Einfluss nichtkonservativer Belastungen auf die Stabilitt von Tragwerken
$49.99
Intercultural Interaction
$109.99
Learning With Colleagues
$54.99
Die Zhne des Paradiesvogels
$19.99
Steuerstandort Grobritannien
$49.99
The How Not to Die Cookbook: 100+ Recipes to Help Prevent and Reverse Disease by Michael Greger M.d. Faclm
$32.50
