書目名稱 | Formale Grundlagen der Programmierung |
編輯 | Markus Nebel |
視頻video | http://file.papertrans.cn/346/345974/345974.mp4 |
概述 | 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 |
關(guān)鍵詞 | 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 |