Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Understanding Behaviour of Distributed Systems Using mCRL2

Język AngielskiAngielski
Książka Miękka
Książka Understanding Behaviour of Distributed Systems Using mCRL2 Atif Muhammad Atif
Kod Libristo: 43417387
Wydawnictwo Springer Nature B.V., luty 2023
This book helps readers easily learn basic model checking by presenting examples, exercises and case... Cały opis
? points 125 b
225.18 zł
Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

livret pour chaque jour Arne Horn / Książka Miękka
common.buy 41.93 zł
Come fare esperimenti mentali per lo sviluppo... Giuliana Beretta / Książka Miękka
common.buy 58.32 zł
FÁLAME EN CINZA Ana Martina Varela Velo / Książka Miękka
common.buy 61.14 zł
Vi, de fördrivna / Książka Miękka
common.buy 109.92 zł
Die Sportpalast-Rede 1943 Peter Longerich / Książka Twarda
common.buy 84.98 zł
Der Berliner Skulpturenfund.'Entartete Kunst' im Bombenschutt Meike Hoffmann / Książka Miękka
common.buy 224.58 zł
Agafar i Donar LUCIE FELIX / Książka Miękka
common.buy 98.76 zł
Depressionen - der Taschencoach C. C. Brüchert / Książka Miękka
common.buy 46.96 zł
Das Kind in dir muss Heimat finden Stefanie Stahl / Książka Miękka
common.buy 67.68 zł
Papiermache Ideen fur die Weihnachtszeit Anke Redhead / Książka Miękka
common.buy 57.62 zł
Cartas desde Rusia Juan Valera / Książka Miękka
common.buy 145.93 zł
Topographische Anatomie des Menschen in Abbildung und Beschreibung Wilhelm Henke / Książka Miękka
common.buy 149.75 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
Ewa Kasp
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 Atif Muhammad Atif, Groote Jan Friso Groote
Język Angielski
Oprawa Książka - Miękka
Data wydania 2023
Liczba stron 252
EAN 9783031230097
Kod Libristo 43417387
Wydawnictwo Springer Nature B.V.
Waga 374
Wymiary 233 x 155 x 16

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Schaum's Outline of Essential Computer Mathematics Seymour Lipschutz / Książka Miękka
common.buy 137.48 zł
TOP Zapowiedź
Fargo / Wideo Blu-ray
common.buy 119.88 zł
Is Religious Education Possible? Michael Hand / Książka Twarda
common.buy 820.59 zł
Late Harvest Cathryn Lyons / Książka Miękka
common.buy 73.81 zł
OBSESSION = DEATH Anubhav Bhagat / Książka Miękka
common.buy 55.21 zł
Untraceable Griffin / Książka Miękka
common.buy 37.61 zł
Robinson Crusoe Daniel Defoe / Książka Twarda
common.buy 43.94 zł
Daily Devotions from Psalms Joyce Meyer / Książka Twarda
common.buy 67.28 zł
Infective Endocarditis Arman Kilic / Książka Miękka
common.buy 681.09 zł
Driving Me Crazy: A Rock Star Rom Com Lisa Suzanne / Książka Miękka
common.buy 74.32 zł
Der neue Daniel - Ausschnitt aus dem Dasein eines Deutschen Willy Seidel / Książka Miękka
common.buy 44.95 zł
The magic 8 ball Helen Gilhooly / Książka Miękka
common.buy 28.45 zł
Piper LeVine, Follow the Leader Eris Kelli / Książka Miękka
common.buy 58.12 zł
Freedom TARA FOX HALL / Książka Miękka
common.buy 44.85 zł
Coaina Anna Hanson Dorsey / Książka Miękka
common.buy 66.27 zł
You'll Be Okay Eddie Kerouac-Parker / Książka Miękka
common.buy 53.80 zł
Memoirs Of General Pepe V1: Comprising The Principal Military And Political Events Of Modern Italy Guglielmo Pepe / Książka Miękka
common.buy 154.07 zł
Zapowiedź
Gender, pensions and the lifecourse Jay Ginn / Książka Miękka
common.buy 187.56 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?