Rask levering med
Trygg betaling med
© 2026 Bookis AS
Norsk
Norge
Region er basert på IP-adresse
Rask levering med
Trygg betaling med
© 2026 Bookis AS
Norsk
Norge
Region er basert på IP-adresse
Pocket • 2017 • 1. utgave
0 vurderinger • 0.0 av 5
Om boken
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 simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.Topics and features: introduces classical algebraic specification and term rewriting theor...Vis mer
Om boken
ISBN
9781447166863
Forlag
Springer London Ltd
Publiseringsår
2017
Språk
Utgave
1
Originaltittel
Designing Reliable Distributed Systems
Format
Frakt og retur
Frakt
Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.
Returer
Kontakt selgeren etter levering.
Omtaler · 0
0 vurderinger • 0.0 av 5
Du vil kanskje også like