Modelling Distributed Systems
- Indbinding:
- Paperback
- Sideantal:
- 154
- Udgivet:
- 18. November 2010
- Udgave:
- 12007
- Størrelse:
- 234x156x8 mm.
- Vægt:
- 260 g.
Leveringstid:
2-3 uger
Forventet levering: 9. Oktober 2024
Beskrivelse af Modelling Distributed Systems
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.
Brugerbedømmelser af Modelling Distributed Systems
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Modelling Distributed Systems findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621