語系
Rusu, Vlad.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Rewriting logic and its applications = 12th International Workshop, WRLA 2018, held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Rusu, Vlad.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Rewriting Logic and Its Applications = 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /
by:
SpringerLink (Online service); Rusu, Vlad.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer logic
Computer logic.
Software engineering.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.