Verwandte Artikel zu Compiler Specification and Verification (Lecture Notes...

Compiler Specification and Verification (Lecture Notes in Computer Science, 124, Band 124) - Softcover

Polak, W.

 
9783540108863: Compiler Specification and Verification (Lecture Notes in Computer Science, 124, Band 124)

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.