Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Understanding Behaviour of Distributed Systems Using mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031230073
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $149.00 - $149.00
BEST PRICE

Single Product Purchase

$149.00
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$149.00 $149.00

$149.00
See Site In stock Visit Store

Similar Products

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