Ein praxisnahes Werk, das formale Logik mit systemischer Modellierung verknüpft; es beleuchtet Beweistechniken, logische Sprachen und deren Einsatz in Softwarearchitektur sowie sicherheitskritischen Systemen.