Concrete Semantics : With Isabelle/Hol [ Livre] / Tobias, Nipkow / Gerwin, Klein
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Springer International Publishing AG, 2014Description : 298 pagesISBN: 9783319105413.Classification: F 3 Théorie des langages de programmationSujet - Nom commun: Compilateurs (logiciels) | Logique | Sémantique -- Informatique| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | F 3 NIP (Browse shelf) | Available | F 3 Théorie des langages de programmation | 030857 | |
| ENS Rennes - Bibliothèque Informatique | F 3 NIP (Browse shelf) | Available | F 3 Théorie des langages de programmation | 030858 |