Model Checking, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
34,00 €
Variante
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
