Copied Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
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.
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 |
|
$149.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Living with Disfigurement in Early Medieval Europe
$31.00
Wrme- und Klteverluste Isolierter Rohrleitungen und Wnde
$84.99
Oxygen Transport to Tissue XLIII
$379.99
Metal Nanocomposites for Energy and Environmental Applications
$179.99
Kontrastive Analyse zur chinesischen und deutschen Berichterstattung ber Katastrophen
$39.99
Sustainable Intensification to Advance Food Security and Enhance Climate Resilience in Africa
$169.99
The Physics of Invisibility
$32.99
Environmental Effects of Afforestation in North-Western Europe
$169.99
Adaptive RF Front-Ends for Hand-held Applications
$84.99
Practical Docker with Python
$54.99
Determinanten und Auswirkungen der freiwilligen prferischen Durchsicht von Halbjahresfinanzberichte
$59.99
My Books Summer Grade K Fiction - Classroom Set
$795.00
Nichtlineare Finite-Elemente-Berechnungen mit ANSYS Workbench
$69.99
A Dictionary of Scientific Units
$39.99
Thermodynamik des Kraftfahrzeugs
$79.99
Information Security and Cryptology
$54.99
Deployable Machine Learning for Security Defense
$69.99
Chronik des Deutschen Forstwesens im Jahre 1888
$59.99
WILDE NOW
$139.99
Leonhard Euler and the Foundations of Celestial Mechanics
$169.99
Information Technology and Systems
$149.00
A Journey Around the Different Scales Involved in the Description of Matter and Complex Systems
$59.99
Mountain Environments: Changes and Impacts
$179.99
Virtual Applications
$109.99
Molecular Biology and Biotechnology of Plant Organelles
$219.99
Network-Centric Collaboration and Supporting Frameworks
$169.99
Arbeitslosigkeit ein Dauerproblem
$59.99
Beteiligungscontrolling in der Management-Holding
$69.99
Natural Disasters as Interactive Components of Global-Ecodynamics
$219.99
Entwicklung eines Systems zur berwachung und Steuerung des Kosten- und Erfolgsverhaltens von Produk
$59.99
Real-Variable Theory of Musielak-Orlicz Hardy Spaces
$79.99
OpenMP Shared Memory Parallel Programming
$39.99
Chlamydial Infections
$54.99
Equity in Discourse for Mathematics Education
$109.00
Freie Mitarbeit in den Medien
$59.99
Koronare Herzkrankheit II
$69.99
Huguenot Warrior
$169.99
I Survived - Graphix: Sobreviv el ataque de los osos grises, 1967
$8.24
Physik und Experiment Begleitheft
$54.99
Mapping Archaeological Landscapes from Space
$54.99
