| 书目名称 | Formale Grundlagen der Programmierung |
| 编辑 | Markus Nebel |
| 视频video | |
| 概述 | Formale Grundlagen der Programmierung.Syntax und Semantik von Programmiersprachen.Moderner und kompakter Einstieg.Includes supplementary material: |
| 丛书名称 | Studienbücher Informatik |
| 图书封面 |  |
| 描述 | Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax über Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt. |
| 出版日期 | Textbook 2012 |
| 关键词 | Big-Step-Semantik; Chomsky-Hierarchie; Churchsche These; Denotationelle Semantik; Keller-Automaten; Kleen |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-8348-2296-3 |
| isbn_softcover | 978-3-8348-1889-8 |
| isbn_ebook | 978-3-8348-2296-3Series ISSN 2522-0640 Series E-ISSN 2522-0659 |
| issn_series | 2522-0640 |
| copyright | Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden 2012 |
发表于 2025-3-21 19:31:53
