Bernhard Reus Reus Program Verification in Synthetic Domain Theory

Program Verification in Synthetic Domain Theory

von Bernhard Reus

EUR 49,00

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Bernhard Reus

Stimmen zu »Program Verification in Synthetic Domain Theory«

Details

ISBN: 9783826513527
Verlag: Shaker
Erscheinung: 1996

Link teilen

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


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