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
Erfolgsfaktor CommTech
$59.99
Der Bologna-Prozess
$54.99
Liberation, (De)Coloniality, and Liturgical Practices
$99.00
Marketing: Grundlagen
$19.99
PPS- und integrierte betriebliche Softwaresysteme
$99.99
Ethopharmacology of Agonistic Behaviour in Animals and Humans
$39.99
Industrie 4.0
$99.99
Model-Based Design and Evaluation of Interactive Applications
$54.99
Theory of Bridge Aerodynamics
$109.00
Controlling in Marketing und Vertrieb
$64.99
Anthropology of Our Times
$69.99
Digital Radiography
$139.99
New Trends in Image Analysis and Processing ICIAP 2017
$54.99
Ethical Issues in Health Care on the Frontiers of the Twenty-First Century
$169.99
Herstellung von mehr Chancengerechtigkeit am bergang von der Primar- zur Sekundarstufe
$74.99
Wissenschaft und Technik im alten China
$59.99
Quantifying Environmental Impact Assessments Using Fuzzy Logic
$84.99
Fuzzy Hierarchical Model for Risk Assessment
$84.99
Mathematik fr die Informatik
$44.99
Geodynamics of Lithosphere & Earths Mantle
$54.99
Ergebnisse der Hygiene Bakteriologie Immunittsforschung und experimentellen Therapie
$59.99
Neural Substrates of Memory, Affective Functions, and Conscious Experience
$109.99
Quantum Optics V
$109.99
Peace and War on the Anglo-Cherokee Frontier, 175663
$39.99
Involutive Category Theory
$49.99
Akkulturation von Migrantinnen
$59.99
Peppa Pig: Peppa's Valentine's Day
$3.74
Physiotherapeutische Behandlungen in der Traumatologie
$54.99
Prime Ministers and Rhetorical Governance
$54.99
Dear Mrs. LaRue
$5.96
New Political Spaces in Latin American Natural Resource Governance
$54.99
Insel der Zahlen
$74.99
Ganzheitliche Markenpositionierung
$17.99
Air-Sea Exchange of Gases and Particles
$259.00
Gordon Ramsay Quick and Delicious- 100 Recipes to Cook in 30 Minutes or Less by Gordon Ramsay
$32.00
Privacy Enhancing Technologies
$49.99
Themenkarrieren in der Wissenschaft
$49.99
Correlation-based network analysis of cancer metabolism
$54.99
The War Injured Child
$129.99
Transvestites and Transsexuals
$39.99
