Modellierung und Begründung über Systeme Michael Huth ist ein Lehrbuch über formales Schließen in der Informatik. Es konzentriert sich auf Methoden zum Modellieren, Spezifizieren und Verifizieren von Systemen mit einem Schwerpunkt auf formalen Techniken und Model-Checking.
Diese zweite Auflage bietet eine gründliche Einführung in das formale Schließen, angepasst an die aktuellen Bedürfnisse der Informatik. Der Text wurde um neue und ausführliche Kapitel zu SAT-Solvern, Logik zweiter Stufe, Mikro-Modellen und Programmverifikation erweitert. Der Inhalt unterstützt Studierende und Fachleute mit klaren Erklärungen und zusätzlichen Übungen, einschließlich Online-Lösungen.
Merkmale
- Autor: Michael Huth (Imperial College London)
- Verlag: Cambridge University Press
- Einbandart: Broschur (US)
- Erscheinungsdatum: 26. August 2004
- Anzahl Seiten: 440
- ISBN: 9780521543101
- Thema: Mathematische Theorie der Berechnung
- BISAC: COMPUTERS / Maschinentheorie