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: 9783322967534
Verlag: Vieweg & Teubner
Erscheinung: 02.07.2013