Concrete Semantics : With Isabelle/Hol [ Livre] / Tobias, Nipkow / Gerwin, Klein

Auteur principal: Nipkow, TobiasCo-auteur: Klein, GerwinLangue: 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

Powered by Koha