Algebraic semantics of imperative programs [ Livre] / Joseph A., Goguen ; Grant, Malcolm
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : MIT PRESS, 1996, CambridgeDescription : VII-228 p.ISBN: 026207172X.Collection: Foundations of computingClassification: F 3 Théorie des langages de programmationSujet - Nom commun: Programmation logique | Programmation (mathématiques) | Langages de programmation -- SémantiqueCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 3 GOG (Browse shelf) | Available | F 3 Théorie des langages de programmation | 00003043 |