Languages
Boer, Frank de.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
It's all about coordinationessays to celebrate the lifelong scientific achievements of Farhad Arbab /
by:
Boer, Frank de.; Bonsangue, Marcello.; Rutten, Jan.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020 : proceedings /
by:
(1998 :); Boer, Frank de.; Cerone, Antonio.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer multitasking.
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Electronic data processing
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Parallel processing (Electronic computers)
Simulation and Modeling.
Computer Hardware.
Artificial intelligence.
Computers, Special purpose.