The Foundations of Program Verification
Buch in deiner Nähe kaufen
oder
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
ISBN: 9783519121015
Verlag: Vieweg & Teubner
Erscheinung: 01.02.1987