Temporal Logic in Finite-State Verification, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
34,00 €
"Temporal Logic in Finite-State Verification" ist ein Fachbuch, das sich mit der Anwendung von temporaler Logik in der Überprüfung von endlichen Zustandsmaschinen befasst. Diese Maschinen sind entscheidend für die Analyse und Validierung von Software-Systemen, insbesondere in Bezug auf deren Verhalten und Design. Das Buch bietet eine umfassende Einführung in die Konzepte der Modellprüfung, bei der Fehler in der Systemarchitektur identifiziert werden, indem Anforderungen in Form von Eigenschaften formuliert werden. Ein zentrales Thema ist die Verwendung von Linearer Temporaler Logik (LTL), um diese Anforderungen präzise zu spezifizieren. Das Werk richtet sich an Fachleute und Studierende, die ein vertieftes Verständnis für die theoretischen Grundlagen und praktischen Anwendungen der temporalen Logik in der Softwareverifikation erlangen möchten. Es ist eine wertvolle Ressource für alle, die sich mit der Entwicklung und Überprüfung komplexer Software-Systeme beschäftigen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
