Bae, Kyungmin.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.