'Designing Reliable Distributed Systems' - Peter Csaba Ölveczky - Bog

Brand: Peter Csaba Ölveczky

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a s

Reklamelink — vi modtager en kommission fra produkter købt igennem siden. Det påvirker ikke prisen for dig. Der tages forbehold for udsolgte varer, tastefejl og prisændringer.