Preisvergleich / Wohnen / Büro / Model Checking Abstract State Machines, Fachbücher von Kirsten Winter

Model Checking Abstract State Machines, Fachbücher von Kirsten Winter

79,00 €

Das Buch "Model Checking Abstract State Machines" von Kirsten Winter bietet eine umfassende Analyse der formalen Methoden in der Systementwicklung. Es beleuchtet die Vorteile dieser Methoden, insbesondere die Möglichkeit, Produktionskosten zu senken und potenzielle Fehler in der frühen Entwurfsphase zu identifizieren. Die Autorin thematisiert die Herausforderungen, die mit der praktischen Anwendung formaler Methoden verbunden sind, insbesondere den Kompromiss zwischen Produktivität und Zuverlässigkeit. Ein zentrales Anliegen des Werkes ist es, die Anwendbarkeit formaler Ansätze zu verbessern, indem es Lösungen für spezifische formale Sprachen und Werkzeuge zur Verifikation präsentiert. Das Buch richtet sich an Fachleute und Studierende, die ein tieferes Verständnis für die Modellierung und Analyse in der Softwareentwicklung erlangen möchten.

Deine Shops für beste Deals

Logo - Galaxus

Galaxus

39 Punkte
% Best Deal

79,00 €

zum Shop
Versandkostenfrei | Lieferzeit: 2-4 Werktage

Produktinfos

Informationen

Lieferzeit:2-4 Werktage
Hersteller:VDM