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: 004.14 Théorie des langages de programmationSujet - Nom commun: Programmation logique | Programmation (mathématiques) | Langages de programmation -- Sémantique| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.14 GOG (Browse shelf) | Available | 004.14 Théorie des langages de programmation | 00003043 |