Bae, Kyungmin.
Overview
| Works: | 3 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings /
by:
Olveczky, Peter Csaba.; SpringerLink (Online service); Bae, Kyungmin.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings /
by:
Ölveczky, Peter Csaba.; SpringerLink (Online service); Bae, Kyungmin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
by:
Bae, Kyungmin.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Computer engineering.
Computer logic.
Computer networks .
Formal Languages and Automata Theory.
Software engineering.
Programming Techniques.
Computer programming.
Component software
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer Engineering and Networks.
Discrete mathematics.
Computer science.
Machine theory.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer Science Logic and Foundations of Programming.