Modelling Distributed Systems
Dieses Lehrbuch führt Studierende durch die algebraische Spezifikation und Verifikation verteilter Systeme und einige der bekanntesten formalen Verifikationstechniken.
Der Autor verwendet CRL als Vehikel, eine Sprache, die entwickelt wurde, um Prozessalgebra und abstrakte Datentypen zu kombinieren. Das Buch hat sich aus Einführungskursen zur Protokollverifikation für Studenten der Informatik entwickelt, und der Text wird durchgehend mit Beispielen und Übungen unterstützt.
Vollständige Lösungen sind in einem Anhang enthalten, während Übungsblätter, Laborübungen, Beispielspezifikationen und Vortragsfolien auf der Website des Autors verfügbar sind. Forscher auf dem Gebiet können das Buch als umfassenden Überblick über den Stand der Technik in der algebraischen Spezifikation und Verifikation nutzen.
| ISBN: | 9783540739371 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2007 |
| Seitenzahl: | 154 |
Derzeit verfügbar, auf Lager.
