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
Efficient Polymorphic Calls
$129.00
Place, Writing, and Voice in Oral History
$54.99
Die Sozialstruktur der Bundesrepublik Deutschland
$59.99
Combinatorics of Coxeter Groups
$54.99
Physikalische Eigenschaften der Jute
$59.99
Scholastic In My Language Stickers Busy Baby Portuguese
$49.25
Modeling and Simulation in Industrial Engineering
$139.00
Boosting-Based Face Detection and Adaptation
$37.99
Metathesis Chemistry
$329.99
Conscience: An Interdisciplinary View
$129.00
The 2016 US Presidential Campaign
$29.99
Desert Giant
$6.71
Homologous Artificial Insemination (AIH)
$39.99
Predictive Species and Habitat Modeling in Landscape Ecology
$249.99
Oral Sedation for Dental Procedures in Children
$84.99
Renewal Theory for Perturbed Random Walks and Similar Processes
$84.99
Computer Supported Qualitative Research
$169.99
Property and Power
$54.99
The Evolution of the French Courtesan Novel
$59.99
Interactive Robotics: Legal, Ethical, Social and Economic Aspects
$219.99
Mountain Geoecology and Sustainable Development of the Tibetan Plateau
$169.99
Stabilittstheorie
$69.99
Computers and Writing
$39.99
Computer Vision ECCV 2024
$64.99
The Practical Critical Educator
$84.99
Frankenstein (Barnes & Noble Signature Classics) by Mary Shelley
$9.99
Schweitechnik
$79.99
Design Cybernetics
$129.99
The Palgrave Handbook of Imposter Syndrome in Higher Education
$249.99
Beginning Microsoft 365 Collaboration Apps
$79.99
Wissen - Prinzip und Ressource
$34.99
Collective Responsibility: Redefining What Falls Between the Cracks for School Reform
$49.99
Qualittsmanagement Lebensmittel
$59.99
Der Aufbau von Data Warehouse-Systemen
$59.99
Production and Processing of Healthy Meat, Poultry and Fish Products
$169.99
Piezoresistor Design and Applications
$159.99
South Africas BPO Service Advantage
$109.99
Activation of Hormone and Growth Factor Receptors
$219.99
Crossroads: History of Science, History of Art
$54.99
Understanding and Developing ScienceTeachers Pedagogical Content Knowledge
$49.99
