Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Modelling Distributed Systems

Modelling Distributed Systems - Wan Fokkink - Bog

af Wan Fokkink

indgår i Texts in Theoretical Computer Science. An EATCS Series serien

Modelling Distributed Systems af Wan Fokkink
Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540739371
  • Indbinding:
  • Hardback
  • Sideantal:
  • 154
  • Udgivet:
  • 26. September 2007
  • Udgave:
  • 2007
  • Størrelse:
  • 240x164x16 mm.
  • Vægt:
  • 406 g.
  • 2-3 uger.
  • 19. Juli 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Wan Fokkink

Vis alle bøger af Wan Fokkink

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



Andre købte også..
Find lignende bøger
Bogen Modelling Distributed Systems findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.