Logic in Computer Science 2ed

77.99 EUR

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

Teilen: