Languages
Wehrheim, Heike.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
Integrated formal methods7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(1998 :); Leuschel, Michael.; SpringerLink (Online service); Wehrheim, Heike.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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)