Grundlagen des Model Checking von Christel Baier, verbunden mit der Technischen Universität Dresden, ist ein umfassendes Lehrbuch über Model Checking in der Informatik. Dieses Nachschlagewerk bietet fundiertes theoretisches Wissen und praktische Einblicke, geeignet für Studierende und Fachleute, die sich in formale Verifikationstechniken vertiefen möchten.
Produktspezifikationen
- Autor: Christel Baier (Technische Universität Dresden)
- Reihe: Grundlagen des Model Checking
- Verlag: MIT Press Ltd
- Impressum: MIT Press
- Erscheinungsdatum: 2008-04-25
- Anzahl der Seiten: 984
- ISBN: 9780262026499
- Thema: Informatik
- BISAC: COMPUTERWISSENSCHAFT / Informatik