語系
Steffen, Martin.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
Steffen, Martin.; Zavattaro, Gianluigi.; SpringerLink (Online service); International Conference on Formal Methods for Open Object-Based Distributed Systems (2005 :)
(書目-語言資料,印刷品)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever /
by:
Dams, Dennis.; Steffen, Martin.; SpringerLink (Online service); Hannemann, Ulrich.; Roever, Willem Paul.
(書目-語言資料,印刷品)
Formal methods for open object-based distributed systems : = 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /
by:
Steffen, Martin.; Zavattaro, Gianluigi.; IFIP Working Group 6.1.; International Conference on Formal Methods for Open Object-Based Distributed Systems (2005 :)
(書目-語言資料,印刷品)
Software engineering and formal methods = SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers /
by:
Steffen, Martin.; SpringerLink (Online service); International Conference on Software Engineering and Formal Methods (2019 :); CIFMA (Workshop) ((2019 :); Camara, Javier.; CoSim-CPS (Workshop) (2019 :); ASYDE (Workshop) ((2019 :); International Workshop on the Foundations of Coordination Languages and Software Architectures (2019 :)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Theory of Computation.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Computer programs- Correctness.
Logic in AI.
Operating Systems.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Control Structures and Microprogramming.
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Parallel programming (Computer science)
Electronic data processing- Distributed processing
Computer Science.
Computer Communication Networks.
Computer science.
Computer System Implementation.
Object-oriented programming (Computer science)