Utvidet returrett til 31. januar 2024
Om 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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783540739371
  • Bindende:
  • Hardback
  • Sider:
  • 154
  • Utgitt:
  • 26. september 2007
  • Utgave:
  • 2007
  • Dimensjoner:
  • 240x164x16 mm.
  • Vekt:
  • 406 g.
  • BLACK NOVEMBER
  På lager
Leveringstid: 4-7 virkedager
Forventet levering: 13. november 2024

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



Finn lignende bøker
Boken Modelling Distributed Systems finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.