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.

Weitere beliebte Ausgaben desselben Titels

9780387108865: Compiler Specification and Verification

Vorgestellte Ausgabe

ISBN 10:  0387108866 ISBN 13:  9780387108865
Softcover