Temporal Logic and State Systems, Fachbücher von Stephan Merz, Fred Kröger
"Temporal Logic and State Systems" ist ein Fachbuch, das sich mit der Entwicklung und Anwendung der temporalen Logik in zusta... Mehr erfahren
Finde die besten Angebote
Bester Preis40 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer