Jacques Loeckx Kurt Sieber Loeckx The Foundations of Program Verification

The Foundations of Program Verification

von Jacques Loeckx Kurt Sieber

Preis unbekannt

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Jacques Loeckx

Stimmen zu »The Foundations of Program Verification«

Details

ISBN: 9783519021018
Verlag: Vieweg & Teubner
Erscheinung: 1984

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden