Reasoning about program transformations : imperative programming and flow of data [ Livre] / Jean-François, Collard

Auteur principal: Collard, Jean-FrançoisLangue: Anglais ; de l'oeuvre originale, Anglais.Publication : New York, Berlin : Springer, 2003Description : XVIII-237 p. ; 25 cmISBN: 9781441929815; 0387953914.Classification: F Informatique théoriqueSujet - Nom commun: Langages de programmation
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Magasin (archives)
F COL (Browse shelf) Available F Informatique théorique 040641

Powered by Koha