Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Modelling Distributed Systems

Modelling Distributed Systems

von Wan Fokkink

enthalten in Texts in Theoretical Computer Science. An EATCS Series-Reihe

Modelling Distributed Systems von Wan Fokkink Sie sparen 12% des UVP sparen 12%
Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540739371
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 154
  • Veröffentlicht:
  • 26. September 2007
  • Ausgabe:
  • 2007
  • Abmessungen:
  • 240x164x16 mm.
  • Gewicht:
  • 406 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Über Wan Fokkink

Alle Bücher von Wan Fokkink anzeigen

Beschreibung von 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.

Kund*innenbewertungen von Modelling Distributed Systems



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Modelling Distributed Systems ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.