語系
Wehrheim, Heike.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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é.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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).