Languages
Wehrheim, Heike.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Wehrheim, Heike.; SpringerLink (Online service); Leuschel, Michael.
(Language materials, printed)
Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /
by:
SpringerLink (Online service); Ahrendt, Wolfgang.; Wehrheim, Heike.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Correct System Design = Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
by:
Meyer, Roland.; SpringerLink (Online service); Wehrheim, Heike.; Platzer, André.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
Wehrheim, Heike.; SpringerLink (Online service); Meyer, Roland.; Platzer, Andre.
(Language materials, printed)
Fundamental Approaches to Software Engineering = 23rd 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:
Cabot, Jordi.; SpringerLink (Online service); Wehrheim, Heike.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer System Implementation.
Computer logic.
Artificial intelligence.
Software engineering.
Architecture, Computer.
Computer Science.
Programming Techniques.
Microprogramming .
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Special purpose computers.
System design
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).