> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Concrete semantics : with Isabelle/HOL Beteiligte: Nipkow, Tobias [VerfasserIn]; Klein, Gerwin [VerfasserIn] Erschienen: Cham; Heidelberg; New York: Springer, [2014] Umfang: XIII, 298 Seiten; Illustrationen, Diagramme Sprache: Englisch ISBN: 3319105418; 9783319357591; 9783319105413 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 140 : Semantik von Programmiersprachen Schlagwörter: Formale Semantik Entstehung: Anmerkungen: Literaturverzeichnis: Seiten 287-292 Hier auch später erschienene, unveränderte Nachdrucke