Compiler Specification and Verification - Brossura

Polak, W.

 
9783662167748: Compiler Specification and Verification

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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

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

Altre edizioni note dello stesso titolo

9783540108863: Compiler Specification and Verification: 124

Edizione in evidenza

ISBN 10:  3540108866 ISBN 13:  9783540108863
Casa editrice: Springer, 2008
Brossura