Delmas, David.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.