de Boer, Frank.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
FM 2015: Formal Methods = 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
by:
de Boer, Frank.; SpringerLink (Online service); Bjørner, Nikolaj.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /
by:
de Boer, Frank.; SpringerLink (Online service); Bonsangue, Marcello.; Rutten, Jan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /
by:
de Boer, Frank.; SpringerLink (Online service); Cerone, Antonio.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer logic.
Artificial intelligence.
Software engineering.
Computer programming.
Programming Techniques.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer simulation.
Special purpose computers.
Management of Computing and Information Systems.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Computer science.
Management information systems.
Computers.
Computer hardware.
Computer Hardware.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.