Udvidet returret til d. 31. januar 2025

Designing Reliable Distributed Systems

- A Formal Methods Approach Based on Executable Modeling in Maude

Bag om Designing Reliable Distributed Systems

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781447166863
  • Indbinding:
  • Paperback
  • Sideantal:
  • 313
  • Udgivet:
  • 22. februar 2018
  • Udgave:
  • 12017
  • Størrelse:
  • 238x159x18 mm.
  • Vægt:
  • 564 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: Ukendt - mangler pt.

Beskrivelse af Designing Reliable Distributed Systems

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

Brugerbedømmelser af Designing Reliable Distributed Systems



Find lignende bøger
Bogen Designing Reliable Distributed Systems findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.