Näita mobiiliversiooni

Liigu sisu juurde Liigu peamenüü juurde

Avaleht / Raamatud / Arvutid / Varia / Modelling Distributed Systems

-15%

Raamat

Modelling Distributed Systems

Autor: Wan Fokkink

* * * * * * * * * * Loe arvustusi (0)

72.25 € 85.00 €Toodet on alles vähem kui 10 eksemplari!

Kaup kätte: 2-4 nädalat, hiljemalt 26.10

Sisukirjeldus

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.

Lisainfo
ISBN 9783540739371
Ilmumisaasta 2007
Keel ingliskeelne
Formaat Kõvakaaneline
Lehekülgi 154 lk
Kirjastus Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Lisamise aeg: 29.06.2020

72.25 € 85.00 €Toodet on alles vähem kui 10 eksemplari!

Kaup kätte: 2-4 nädalat, hiljemalt 26.10

Sama autor

Arvustused (0)
Suhtlusvõrkude arvustused

Vabandame! Teie veebilehitseja on liiga väike meie kodulehe külastamiseks.

We're sorry! Your browser is too small for this website.

Приносим извинения! Размеры вашего браузера слишком малы для посещения нашей страницы.