Articoli correlati a Compiler Specification and Verification: 124

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.