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
Investigators: The Sky: What's Up?
$4.46
Automated Technology for Verification and Analysis
$54.99
Erkenntnis und Dialektik
$69.99
Industrial Radiology
$219.99
The Loud House: The Loud House 3-in-1 #4
$3.74
Integrating 3D Modeling, Photogrammetry and Design
$64.99
A Hardy Chronology
$109.99
Marine Biotechnology: Applications in Food, Drugs and Energy
$219.99
Corporate Reputation Management
$79.99
2nd International Adalat Symposium
$54.99
Vygotskys Sociohistorical Psychology and its Contemporary Applications
$169.99
Odd Bodies and Visible Ends in Medieval Literature
$54.99
Probability and Banach Spaces
$34.99
Interviews fhren
$37.99
Schnittkraftumlagerung in Verbundkonstruktionen / Moment Redistribution in Composite Structures / Re
$54.99
William James on Religion
$39.99
Die motivationale Wirkung der Regulierung der Akteure in der Wirtschaftsprfung
$69.99
Learning to Stop
$39.99
Programmierung und Datenstrukturen
$69.99
Childbearing and Careers of Japanese Women Born in the 1960s
$54.99
gyptische rzte und gyptische Medizin am hethitischen Knigshof. Neue Funde von Keilschriftbriefen
$84.99
Artificial Intelligence and Mobile Services AIMS 2019
$54.99
Anaphora and Definite Descriptions
$109.99
Diffusion in Metallen
$59.99
New Perspectives on Nonlinear Dynamics and Complexity
$279.99
Rational, Robust, and Secure Negotiations in Multi-Agent Systems
$109.99
Energy Systems, Drives and Automations
$219.99
Shape in Picture
$329.99
Handbuch Internationalisierung
$159.99
Membrane Transport in Biology
$109.99
Molecules II / Molekle II
$84.99
Boron in Plant and Animal Nutrition
$169.99
Cosmology, Physics, and Philosophy
$39.99
Social Pathways to Health Vulnerability
$64.99
Navigating Organized Urology
$49.99
National Geographic Kids: Look and Learn: Bugs
$3.71
Nachhaltige Stadt- und Verkehrsplanung
$44.99
Science and Human Freedom
$69.99
Progress in Drug Research/Fortschritte der Arzneimittelforschung/Progrs des recherches pharmaceutiq
$39.99
Regulation of Transcription and Translation in Eukaryotes
$84.99
