Modelling Distributed Systems
- Indbinding:
- Hardback
- Sideantal:
- 154
- Udgivet:
- 26. september 2007
- Udgave:
- 2007
- Størrelse:
- 240x164x16 mm.
- Vægt:
- 406 g.
- 8-11 hverdage.
- 16. januar 2025
På lager
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
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