W. Polak

Broschiertes Buch

Compiler Specification and Verification

Beschreibung

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

Produktdetails

• Lecture Notes in Computer Science 124
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-10886-3
• 1981.
• Seitenzahl: 292
• Erscheinungstermin: 1. Oktober 1981
• Englisch
• Abmessung: 235mm x 155mm x 16mm
• Gewicht: 413g
• ISBN-13: 9783540108863
• ISBN-10: 3540108866
• Artikelnr.: 23116008