Ingen varer
Kassen / rediger kurv
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.