Model Checking, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
Das Buch "Model Checking" von Alphascript Publishing bietet eine umfassende Einführung in das Konzept des Model Checkings im ... Mehr erfahren
Produktvarianten
Model Checking, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
Finde die besten Angebote
Bester Preis17 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Model Checking" von Alphascript Publishing bietet eine umfassende Einführung in das Konzept des Model Checkings im Bereich der Logik in der Informatik. Es behandelt die grundlegenden Prinzipien, die es ermöglichen, Modelle von Systemen automatisch auf die Erfüllung bestimmter Spezifikationen zu testen. Diese Spezifikationen sind häufig sicherheitsrelevante Anforderungen, die sicherstellen, dass Systeme, sei es Hardware oder Software, in kritischen Situationen wie dem Auftreten von Deadlocks stabil bleiben. Das Buch formuliert diese Probleme in einer präzisen mathematischen Sprache und zeigt, wie logische Formeln verwendet werden, um die Eigenschaften von Systemen zu überprüfen. Es ist ein wertvolles Werk für Fachleute und Studierende, die sich mit den theoretischen und praktischen Aspekten des Model Checkings auseinandersetzen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Alphascript Publishing