Compiler Specification and Verification - Couverture souple

Polak, W.

 
9783662167748: Compiler Specification and Verification

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9783540108863: Compiler Specification and Verification

Edition présentée

ISBN 10 :  3540108866 ISBN 13 :  9783540108863
Editeur : Springer, 2008
Couverture souple