Seidl, Helmut.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems = 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Seidl, Helmut.
(書目-語言資料,印刷品)
Compiler design = syntactic and semantic analysis /
by:
SpringerLink (Online service); Hack, Sebastian.; Seidl, Helmut.; Wilhelm, Reinhard.
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2022 = 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings /
by:
Pasareanu, Corina S.; Seidl, Helmut.; SpringerLink (Online service); Liu, Zhiming.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Compiler design = analysis and transformation /
by:
Hack, Sebastian.; SpringerLink (Online service); Seidl, Helmut.; Wilhelm, Reinhard.
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer Communication Networks.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science.
Programming languages (Electronic computers)
Compilers (Computer programs)
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.