Reasoning about program transformations : imperative programming and flow of data [ Livre] / Jean-François, Collard
Langue: 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 programmationCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Magasin (archives) | F COL (Browse shelf) | Available | F Informatique théorique | 040641 |