語系
Wehrheim, Heike.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Correct system designsymposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
Meyer, Roland.; Platzer, Andre.; SpringerLink (Online service); Wehrheim, Heike.
(書目-電子資源)
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /
by:
(1998 :); Gorrieri, Roberto.; SpringerLink (Online service); Wehrheim, Heike.
(書目-電子資源)
Integrated formal methods7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(1998 :); Leuschel, Michael.; SpringerLink (Online service); Wehrheim, Heike.
(書目-電子資源)
Fundamental approaches to software engineering23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings /
by:
(1998 :); Cabot, Jordi.; SpringerLink (Online service); Wehrheim, Heike.
(書目-電子資源)
Tests and proofs14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
by:
(1998 :); Ahrendt, Wolfgang.; SpringerLink (Online service); Wehrheim, Heike.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Software engineering
Electronic data processing
Logics and Meanings of Programs.
Information Systems and Communication Service.
Operating Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Computer software
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
System design
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer System Implementation.
Object-oriented programming (Computer science)