Willemse, Tim A. C.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
Peters, Kirstin.; SpringerLink (Online service); Willemse, Tim A. C.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
SpringerLink (Online service); Ferreira, Carla.; Willemse, Tim A. C.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
Willemse, Tim A. C.; SpringerLink (Online service); Peters, Kirstin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Data Structures and Information Theory.
Computer networks .
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Computers, Special purpose.
Logic in AI.
Mathematics of Computing.
Programming Techniques.
Mathematical Logic and Foundations.
Special purpose computers.
Computer communication systems.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
General Logic.
Software engineering