De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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

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:
  • 9783642093210
  • Indbinding:
  • Paperback
  • Sideantal:
  • 154
  • Udgivet:
  • 18. november 2010
  • Udgave:
  • 12007
  • Størrelse:
  • 234x156x8 mm.
  • Vægt:
  • 260 g.
  • 8-11 hverdage.
  • 16. januar 2025

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.

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: