Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Understanding Behaviour of Distributed Systems Using mCRL2

Name: Understanding Behaviour of Distributed Systems Using mCRL2
Brand: Springer
SKU: 44986827
Price: 194.13 EUR
Availability: InStock
Author: Muhammad Atif
ISBN: 9783031230080

Muhammad Atif

Jan Friso Groote

Língua

Inglês

E-book Adobe ePub DRM

Editoras Springer, fevereiro 2023

This book helps readers easily learn basic model checking by presenting examples, exercises and case... Descrição completa

Código Libristo: 44986827

470 b

194.13 €

Em stock Imediatamente descarregável

Os clientes também compraram

Vida en luz Casermeiro

Capa mole

31.51 €

LEER TURKS MET PLEZIER - VOOR KINDEREN LINGUAS CLASSICS

Capa mole

11.30 €

Cornelis van Bynkershoek

Livro de capa dura

75.24 €

Automatische Extraktion von Redewendungen und Sprichwörtern sowie Stemming von Verben Chitra Garg

Capa mole

39.18 €

Tägliche Andacht für Teenager-Jungen 2026 Ethan M. Harlow

Capa mole

13.12 €

Nauka Francuskiego - Szybko / Prosto / Skutecznie Pinhok Languages

Capa mole

12.31 €

The Secret of a Good Billionaire Raphael Celestino

Capa mole

11.51 €

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.