Ait-Ameur, Yamine.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Methods and Software Engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings /
by:
Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems = Communications of NII Shonan Meetings /
by:
Méry, Dominique.; SpringerLink (Online service); Ait-Ameur, Yamine.; Nakajima, Shin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer organization.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Simulation and Modeling.
Theory of Computation.
Computers.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Foundations.
Computer simulation.