Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Understanding Behaviour of Distributed Systems Using mCRL2

Name: Understanding Behaviour of Distributed Systems Using mCRL2
Brand: Springer, Berlin
SKU: 44750718
Price: 184.84 EUR
Availability: InStock
Author: Muhammad Atif
ISBN: 9783031230103

Muhammad Atif

Jan Friso Groote

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 44750718

Nakladnici Springer, Berlin, ožujak 2024

This book helps readers easily learn basic model checking by presenting examples, exercises and case... Cijeli opis

Libristo kod: 44750718

448 b

184.84 €

Vanjske zalihe Šaljemo za 8-11 dana

Do 30 dana za povrat

Kupci su kupili i

ESCUELA DE RATONES !DE EXCURSIÓN A LA CIUDAD! AGNES MATHIEU-DAUDE

Meki uvez

17.16 €

Glücksorte in Krefeld Torsten Weiler

Meki uvez

14.13 €

Herbstnacht Uwe Siebert

Meki uvez

11.71 €

GRUPO ADMINISTRATIVO FUNCION ADMINISTRATIVA DEL SERVICIO 7 EDITORES

Meki uvez

33.42 €

Moralistes Des Seizieme Et Dix-Septieme Siecles (Ed.1859) Alexandre Vinet

Meki uvez

25.34 €

Pisanie zmazywanie mini literki cyferki

Audio

2.72 €

Campus Sur

Meki uvez

42.31 €

Sekrety najwiekszych zamachow XX wieku Szlachetko

MP3

6.86 €

Flawless - Hibátlan Elsie Silver

Meki uvez

14.84 €

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.