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:
Buy Logics for Concurrency 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
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
Energie und Umweltbelastung
$59.99
Determinants of the Performance of Strategic Initiatives
$39.99
Vorteil Vielfalt
$59.99
Gene Correction
$169.99
Sustainable Development and Social ResponsibilityVolume 2
$219.99
WordGirl: Tobey or Consequences, A Teleplay
$5.96
Handbuch frhkindliche Bildungsforschung
$179.99
Electrophysiological Analysis of Synaptic Transmission
$129.00
Aktives Projektmanagement fr das Bauwesen
$69.99
Eco-Anxiety and Planetary Hope
$109.99
Establishing Quantum Physics in Berlin
$39.99
Der Einsatz von Entscheidungsgremien
$69.99
Abhngigkeit der Lrmerzeugung durch Rotoren von definierten Strungen in der Zustrmung
$59.99
Internet of Things Security: Principles and Practice
$69.99
Die Verlagsbuchhandlung von Otto Spamer in Leipzig an alle diejenigen Geschftsfreunde, welche mit i
$54.99
Clinical Cases in Neurology
$84.99
Digital Twins for Digital Transformation: Innovation in Industry
$139.00
Semistructured Database Design
$84.99
Contemporary French and Francophone Futuristic Novels
$129.99
Effizienz und Effektivitt durch Verteidigungskooperation
$49.99
Theory of Statistics
$109.00
Microbial Applications Vol.2
$169.99
Algebraic Geometry and Complex Analysis
$29.99
Demokratie auf dem Prfstand
$59.99
Evolutionary Multi-Criterion Optimization
$109.99
Biological Effects of Magnetic Fields
$39.99
Kommentar zum Umwelthaftungsgesetz
$59.99
In the Footsteps of the Savior Bible Study Guide plus Streaming Video- Following Jesus Through the Holy Land by Max Lucado
$21.99
Zur plastischen Berechnung von Stahlbeton
$49.99
Die Gestaltung der Erdoberflche
$44.99
Fundamentals of van der Waals and Casimir Interactions
$139.99
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
$39.99
Catholic and Reformed Traditions in International Law
$169.99
Vom Gesichtspunkt der Phnomenologie
$149.99
Declining International Cooperation on Pesticide Regulation
$59.99
Data Science of Renewable Energy Integration
$139.99
Excel Data Analysis
$84.99
Merits and Demerits of Political Systems in Dynastic China
$99.99
Celebrating Katherine Mansfield
$39.99
