Modelling Distributed Systems, Fachbücher von Wan Fokkink
53,49 €
Das Fachbuch "Modelling Distributed Systems" von Wan Fokkink bietet eine umfassende Einführung in die algebraische Spezifikation und Verifikation verteilter Systeme. Es richtet sich an Studierende der Informatik und behandelt die grundlegenden Konzepte der Prozessalgebra sowie abstrakter Datentypen. Der Autor nutzt die Sprache µCRL, die speziell entwickelt wurde, um Prozessalgebra mit abstrakten Datentypen zu kombinieren. Die einzelnen Kapitel führen die Leser durch die Syntax und Semantik von µCRL, erläutern die Abstraktion interner Verhaltensweisen und die Spezifikation gängiger Protokolle. Zudem werden Techniken zur Transformation von Protokollspezifikationen in beschriftete Übergangssysteme sowie symbolische Verifikationstechniken behandelt. Das Buch ist reich an Beispielen und Übungen, die das Verständnis der komplexen Themen unterstützen, und bietet vollständige Lösungen im Anhang.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
