語系
Lammel, Ralf.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Generative and transformational techniques in software engineering IV = International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Saraiva, Joao.; Visser, Joost.; Lammel, Ralf.
(書目-語言資料,印刷品)
Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Van Wyk, Eric.; Gasevic, Dragan.; Lammel, Ralf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Software languages = syntax, semantics, and metaprogramming /
by:
Lammel, Ralf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers /
by:
Visser, Joost.; Lammel, Ralf.; Saraiva, Joao.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer System Implementation.
Software Engineering/Programming and Operating Systems.
Computer Communication Networks.
Computer Science.
Programming Techniques.
Computer programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Control Structures and Microprogramming.
Simulation and Modeling.
Software engineering
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.