Languages
Rusu, Vlad.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.