Darmowa dostawa dla zamówień powyżej 299,00 zł.
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
InPost Kurier 12.99 zł
Punkt DPD 13.99 zł
Kontakt
Jak kupować
Pomoc
Dostawa
DPD Kurier 12.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
InPost Kurier 12.99 zł
Punkt DPD 13.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
▸
Pusty :-(
0
Darmowa dostawa dla zamówień powyżej 299,00 zł.
Understanding Behaviour of Distributed Systems Using mCRL2
Język
Angielski
Angielski
E-book
Adobe ePub DRM
?
520 b
520 b
920.87
zł
Dostępna
Produkt cyfrowy - wysyłamy od razu
Klienci kupili także
/
Miękka
168.00
zł
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.
Aktorka
&
Poliglotka
EWA KASP
dla
Odtworzyć wideo
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.
Informacje o książce
Pełna nazwa
Understanding Behaviour of Distributed Systems Using mCRL2
Autor
Muhammad Atif, Jan Friso Groote
Język
Angielski
Angielski
Oprawa
E-book - Adobe ePub DRM
Data wydania
2023
EAN
9783031230080
Kod Libristo
44986827
Wydawnictwo
Springer
