Compiler Specification and Verification: 124 - Brossura

Polak, W.

 
9783540108863: Compiler Specification and Verification: 124

Contenuti

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780387108865: Compiler Specification and Verification: 124

Edizione in evidenza

ISBN 10:  0387108866 ISBN 13:  9780387108865
Brossura