Delmas, David.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
Delmas, David.; Guidotti, Riccardo.; Marmsoler, Diego.; Oliveira, José N.; Farrell, Marie.; Cerone, Antonio.; Campos, José.; Couto, Luis.; Monteiro, Pedro.; Ratiu, Daniel.; Kutrib, Martin.; Moreira, Nelma.; Gonnord, Laure.; Dongol, Brijesh.; Astarte, Troy.; Luckcuck, Matt.; SpringerLink (Online service); Sekerinski, Emil.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
Marmsoler, Diego.; Oliveira, José N.; Guidotti, Riccardo.; Delmas, David.; Couto, Luis.; Cerone, Antonio.; Campos, José.; Farrell, Marie.; Dongol, Brijesh.; Astarte, Troy.; Gonnord, Laure.; Kutrib, Martin.; Moreira, Nelma.; Monteiro, Pedro.; Ratiu, Daniel.; Sekerinski, Emil.; SpringerLink (Online service); Luckcuck, Matt.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Application software.
Computer System Implementation.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Artificial intelligence.
Computer Applications.
Software engineering.
Theory of Computation.
Computers.
Architecture, Computer.
Special purpose computers.