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
Understanding Behaviour of Distributed Systems Using mCRL2
Best Price (Coupon Required):
Buy Understanding Behaviour of Distributed Systems Using mCRL2 for $134.10 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
|
|
$149.00 | $149.00 |
|
10% OFF
This deals requires coupon
|
$134.10 | See Site | In stock | Visit Store |
Product Details
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.
Reviews
Questions & Answers
Fatty Acids
$249.99
The New (So-Called) Magdeburg Experiments of Otto Von Guericke
$169.00
Advances in Multimedia Information Processing PCM 2002
$39.99
Transition Metal Arene -Complexes in Organic Synthesis and Catalysis
$219.99
Teaching and Measuring Cognitive Readiness
$109.99
Monetary Policy on the 75th Anniversary of the Federal Reserve System
$109.99
Larger Carnivores of the African Savannas
$39.99
From Complex Sentences to a Formal Semantic Representation using Syntactic Text Simplification and O
$39.99
Bancassurance in Europe
$84.99
Democratic Socialism and Education: New Perspectives on Policy and Practice
$39.99
Foundations of Computer Software: Future Trends and Techniques for Development
$54.99
Inorganic Ring Systems
$39.99
PreK On My Way Spanish Complete Set
$2,950.00
Der Verkehrswasserbau
$84.99
Potential Therapeutic Applications of Nano-antioxidants
$129.99
The Chicken Squad: The Case of the Weird Blue Chicken
$5.96
Droplet Interactions and Spray Processes
$249.99
Content-Based Access to Multimedia Information
$109.99
Steuerkomplexitt
$59.99
Mechanical Properties of Silicon Based Compounds: Silicides
$84.99
Proceedings of the 3rd International Civil Engineering and Architecture Conference
$279.99
Einfhrung in Theorie und Praxis der Zeitreihen- und Modalanalyse
$49.99
Impurity Scattering in Metallic Alloys
$39.99
Digital Transformation in Business and Society
$179.99
Interactive Learning for Innovation
$54.99
Hidden Markov Models in Finance
$109.99
The Security of Water, Food, Energy and Liveability of Cities
$169.99
Forschungsdiskurs und Etablierungsprozess der Organisationspdagogik
$89.99
Theoretische Physik: Quantenmechanik
$69.99
Die Taxation maschineller Anlagen
$59.99
Smart Practice Workbook: Fifth Grade
$11.24
Innovative Integrals and Their Applications II
$169.99
A Concise Introduction to Ceramics
$39.99
The Family Good Health Guide
$39.99
Rechenzentrums-Sicherheit
$49.99
Aufbau von Geschftsbeziehungen
$49.99
A Simple Non-Euclidean Geometry and Its Physical Basis
$89.99
Addition & Subtraction to Grade 2 Differentiation Pack
$5.99
A Genealogy of Self-Interest in Economics
$99.00
Advances in Noninvasive Electrocardiographic Monitoring Techniques
$169.00
