Modelling Distributed Systems / Libristo.pl
Modelling Distributed Systems

Kod: 01654238

Modelling Distributed Systems

Autor Wan Fokkink

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.

283.73


Dostępna u dostawcy
Wysyłamy za 14 - 18 dni
Dodaj do schowka

Zobacz książki o podobnej tematyce

Bon podarunkowy: Radość gwarantowana

Wzór bonu podarunkowegoDowiedz się więcej

Więcej informacji o Modelling Distributed Systems

Za ten zakup dostaniesz 166 punkty

Opis

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer networking & communications Distributed systems

283.73

Ulubione w innej kategorii


250 000
zadowolonych klientów

Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.


Paczkomat 12,99 ZŁ 31975 punktów

Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies


Konto: Logowanie
Wszystkie książki świata w jednym miejscu. I co więcej w super cenach.

Koszyk ( pusty )

Kup za 299 zł i
zyskaj darmową dostawę.

Twoja lokalizacja: