Vorschauausschnitt. Vollzugang erhalten
Logik und Computer: Modellierung des Schließens und Verifikation der Programmkorrektheit