W. Polak Polak Compiler Specification and Verification

Compiler Specification and Verification

von W. Polak

Preis unbekannt

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

W. Polak

Themen in »Compiler Specification and Verification«

Spezifikation Verifikation compiler framework language proof verification Übersetzer

Stimmen zu »Compiler Specification and Verification«

Details

ISBN: 9783540108863
Verlag: Springer Berlin
Erscheinung: 01.10.1981

Link teilen

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


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