Utvidet returrett til 31. januar 2024

Designing Reliable Distributed Systems

- A Formal Methods Approach Based on Executable Modeling in Maude

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781447166863
  • Bindende:
  • Paperback
  • Sider:
  • 313
  • Utgitt:
  • 22. februar 2018
  • Utgave:
  • 12017
  • Dimensjoner:
  • 238x159x18 mm.
  • Vekt:
  • 564 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: Ukjent

Beskrivelse av Designing Reliable Distributed Systems

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

Brukervurderinger av Designing Reliable Distributed Systems



Finn lignende bøker
Boken Designing Reliable Distributed Systems finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.