Temporal Logic and State Systems, Fachbücher von Stephan Merz, Fred Kröger
80,24 €
"Temporal Logic and State Systems" ist ein Fachbuch, das sich mit der Entwicklung und Anwendung der temporalen Logik in zustandsbasierten Systemen beschäftigt. In den letzten 30 Jahren hat sich die temporale Logik zu einem bedeutenden formalen Rahmen für die Spezifikation und Verifikation solcher Systeme entwickelt. Basierend auf Vorlesungen der Autoren bietet dieses Buch eine umfassende und prägnante Darstellung der Theorie und Anwendungen der linearen und verzweigten temporalen Logik, der temporalen Logik von Aktionen (TLA), sowie der Verbindungen zur Automatentheorie und dem Model Checking. Die theoretischen Details werden sorgfältig und mit voller formaler Strenge behandelt, ergänzt durch zahlreiche Anwendungsbeispiele. Dieses Buch dient als grundlegende Quelle und Referenz für Dozierende, Studierende und Forschende in diesem Bereich.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
