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 engineering.
Computer science—Mathematics.
Computer logic.
Computer networks .
Formal Languages and Automata Theory.
Software engineering.
Computer science.
Machine theory.
Discrete Mathematics in Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Component software
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Discrete mathematics.