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 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.