Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Modelling Distributed Systems
- Bindende:
- Hardback
- Sider:
- 154
- Utgitt:
- 26. september 2007
- Utgave:
- 2007
- Dimensjoner:
- 240x164x16 mm.
- Vekt:
- 406 g.
På lager
Leveringstid:
4-8 virkedager
Forventet levering: 3. januar 2025
Utvidet returrett til 31. januar 2025
Beskrivelse av 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.
Brukervurderinger av Modelling Distributed Systems
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Modelling Distributed Systems finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
