Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Compiler Specification and Verification - W. Polak

Compiler Specification and Verification

(Autor)

Buch | Softcover
XIII, 272 Seiten
1981 | 1981
Springer Berlin (Verlag)
978-3-540-10886-3 (ISBN)
CHF 34,40 inkl. MwSt

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.

Erscheint lt. Verlag 1.10.1981
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo XIII, 272 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 413 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Theorie / Studium Compilerbau
Schlagworte Compiler • Framework • language • Proof • Spezifikation • Spezifikation (EDV) • Übersetzer • Übersetzer (EDV) • verification • Verifikation • Verifikation (EDV)
ISBN-10 3-540-10886-6 / 3540108866
ISBN-13 978-3-540-10886-3 / 9783540108863
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
CHF 41,85
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
CHF 69,80