Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

Väzba: 
Mäkká
Počet strán: 
313
Introduces formal modeling of abstract data types and distributed systemsDoes not assume or require any formal methods or theoretical computer science backgroundContains exercises throughout ...Celý popis
64,04 €

Podrobné informácie

Viac informácií
ISBN9781447166863
Autorlveczky Peter Csaba
VydavatelSpringer Nature
VäzbaPaperback
Rok vydania2018
Počet strán313

Popis knihy

Introduces formal modeling of abstract data types and distributed systems

Does not assume or require any formal methods or theoretical computer science background

Contains exercises throughout

Prečo nakupovať na Enbooku?

  1. velký výběr

    VEĽKÝ VÝBER

    Ponúkame milióny kníh v angličtine. Od beletrie až po tie najodbornejšie odborné.

  2. poštovné zdarma

    POŠTOVNÉ ZADARMO

    Poštovné už od 2,99 € a pri objednávke nad 60 € doprava na pobočku Zásielkovne zadarmo

  3. skvělé ceny

    SKVELÉ CENY

    Ceny kníh sa snažíme držať pri zemi a vždy pod cenou odporúčanou vydavateľom, aby si ich mohol kúpiť naozaj každý.

  4. online podpora

    OVERENÉ ZÁKAZNÍKMI

    Získali sme certifikát "Overené zákazníkmi" na Heureka.sk. Prezrite si naše recenzie

  5. osobní přístup

    ONLINE PODPORA

    Môžete využiť online chat, email alebo nám zatelefonovať.