The Foundations of Program Verification

Beschreibung

Autor*in

Jacques Loeckx

Themen in »The Foundations of Program Verification«

Logik Programmieren Programmiersprache Programmierung Programmverifikation Semantik Werkstoff formale Sprache formale Sprachen

Stimmen zu »The Foundations of Program Verification«

Details

Link teilen