Modelling Distributed Systems, Fachbücher von Wan Fokkink
Das Fachbuch "Modelling Distributed Systems" von Wan Fokkink bietet eine umfassende Einführung in die algebraische Spezifikat... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer