Beek, Maurice H. ter.
概要
| 作品: | 2 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Integrated formal methods17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings /
by:
(1998 :); Beek, Maurice H. ter.; Monahan, Rosemary.; SpringerLink (Online service)
(書目-電子資源)
Formal methods - the next 30 yearsthird World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(1998 :); Beek, Maurice H. ter.; McIver, Annabelle.; Oliveira, Jose N.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings /
by:
(1998 :); Beek, Maurice H. ter.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Critical systemsformal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings /
by:
(1998 :); Beek, Maurice H. ter.; Gnesi, Stefania.; Knapp, Alexander.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software architecture
Electronic data processing
Computer software
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Computer programs
Artificial Intelligence.
Computer Science.