Languages
Raschke, Alexander.
Overview
| Works: | 9 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Modeling companion for software practitioners
by:
Borger, Egon.; Raschke, Alexander.; SpringerLink (Online service)
(Electronic resources)
Rigorous state-based methods8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
by:
(1998 :); Mery, Dominique.; Raschke, Alexander.; SpringerLink (Online service)
(Electronic resources)
Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
Borger, E. (1946-); Raschke, Alexander.; Riccobene, Elvinia.; Schewe, Klaus-Dieter.; SpringerLink (Online service)
(Electronic resources)
Rigorous state-based methods7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
by:
(1998 :); Houdek, Frank.; Mery, Dominique.; Raschke, Alexander.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Business Process Management.
Computer logic.
Theory of Computation.
Mathematical Logic and Foundations.
Machine theory
Logic in AI.
Programming Language.
Computer software
Control Structures and Microprogramming.
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Software engineering.
Machine learning
Artificial Intelligence.
Business Information Systems.
Computer Science.
Computer Systems Organization and Communication Networks.
Computer science.