Marknadens största urval
Snabb leverans

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781447166863
  • Format:
  • Häftad
  • Sidor:
  • 313
  • Utgiven:
  • 22. februari 2018
  • Utgåva:
  • 12017
  • Mått:
  • 238x159x18 mm.
  • Vikt:
  • 564 g.
  Fri leverans
Leveranstid: Okänt - saknas för närvarande

Beskrivning av Designing Reliable Distributed Systems

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

Användarnas betyg av Designing Reliable Distributed Systems



Hitta liknande böcker
Boken Designing Reliable Distributed Systems finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.