Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Understanding Behaviour of Distributed Systems Using mCRL2

Best Price:
Buy Understanding Behaviour of Distributed Systems Using mCRL2 for $149.00 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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
$149.00 $149.00

$149.00
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Share Economy im Gesundheitswesen

Share Economy im Gesundheitswesen

$17.99
Targeted Advertising Technologies in the ICT Space

Targeted Advertising Technologies in the ICT Space

$54.99
Portfolio Decision Analysis

Portfolio Decision Analysis

$249.99
My Voice, My Story Collection Grades 3-5

My Voice, My Story Collection Grades 3-5

$67.00
Challenging the United Nations Peace and Security Agenda in Africa

Challenging the United Nations Peace and Security Agenda in Africa

$129.99
Linear Algebraic Monoids

Linear Algebraic Monoids

$84.99
Zur Entgeltregulierung der Wirtschaftsprfer und vereidigten Buchprfer

Zur Entgeltregulierung der Wirtschaftsprfer und vereidigten Buchprfer

$64.99
Konstruierte Stabilitt

Konstruierte Stabilitt

$129.99
Bonds of Blood

Bonds of Blood

$54.99
Die Gaserzeuger

Die Gaserzeuger

$59.99
Mechanische Relaxationserscheinungen in vernetztem und gequollenem Polystyrol

Mechanische Relaxationserscheinungen in vernetztem und gequollenem Polystyrol

$59.99
People - The New Asset on the Balance Sheet

People - The New Asset on the Balance Sheet

$109.99
Human Resource Planning

Human Resource Planning

$69.99
Supernatural: The official Cookbook: Burgers, Pies, and Other Bites from the Road by Julie Tremaine

Supernatural: The official Cookbook: Burgers, Pies, and Other Bites from the Road by Julie Tremaine

$29.99
Process Metaphysics and Mutative Life

Process Metaphysics and Mutative Life

$54.99
Diversity-Management als Leitbild von Personalpolitik

Diversity-Management als Leitbild von Personalpolitik

$69.99
Augmented Cognition. Neurocognition and Machine Learning

Augmented Cognition. Neurocognition and Machine Learning

$54.99
AJCC Cancer Staging Manual

AJCC Cancer Staging Manual

$109.99
An Investigation of Women's and Mens Perceptions and Meanings Associated with Food Risks

An Investigation of Women's and Mens Perceptions and Meanings Associated with Food Risks

$54.99
Boron Neutron Capture Therapy

Boron Neutron Capture Therapy

$39.99
Winning at Litigation through Decision Analysis

Winning at Litigation through Decision Analysis

$99.99
Geometry of Supersymmetric Gauge Theories

Geometry of Supersymmetric Gauge Theories

$39.99
Biohydrogen - Advances and Processes

Biohydrogen - Advances and Processes

$249.99
Neural Information Processing

Neural Information Processing

$39.99
Die revolutionre Kraft der Ideen

Die revolutionre Kraft der Ideen

$74.99
Zinsnderungsrisiken im Commercial Banking

Zinsnderungsrisiken im Commercial Banking

$59.99
Nitric Oxide in Transplant Rejection and Anti-Tumor Defense

Nitric Oxide in Transplant Rejection and Anti-Tumor Defense

$129.00
Nuclear Receptors in Human Health and Disease

Nuclear Receptors in Human Health and Disease

$169.99
Differentialgleichungen und ihre Anwendungen

Differentialgleichungen und ihre Anwendungen

$54.99
Technical Building Blocks

Technical Building Blocks

$34.99
Experimental and Clinical Reconstructive Microsurgery

Experimental and Clinical Reconstructive Microsurgery

$84.99
Measuring Sustainability and CSR: From Reporting to Decision-Making

Measuring Sustainability and CSR: From Reporting to Decision-Making

$159.99
Surgical Diseases in Pregnancy

Surgical Diseases in Pregnancy

$109.99
Weak Links

Weak Links

$54.99
Formal Methods

Formal Methods

$109.99
Haptics: Perception, Devices, Control, and Applications

Haptics: Perception, Devices, Control, and Applications

$54.99
Alpine Landgesellschaften zwischen Urbanisierung und Globalisierung

Alpine Landgesellschaften zwischen Urbanisierung und Globalisierung

$49.99
Bacterial Pangenomics

Bacterial Pangenomics

$199.99
Biobehavioral Approaches to Pain

Biobehavioral Approaches to Pain

$109.99
Petroleum Engineering

Petroleum Engineering

$54.99
previous
next