Languages
Roggenbach, Markus.
Overview
| Works: | 3 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Recent trends in algebraic development techniques = 25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers /
by:
Roggenbach, Markus.; SpringerLink (Online service); WADT (Workshop) (2020 :)
(Electronic resources)
Applicable formal methods for safe industrial products = essays dedicated to Jan Peleska on the occasion of his 65th birthday /
by:
Roggenbach, Markus.; SpringerLink (Online service); Haxthausen, Anne E.; Peleska, Jan,; Huang, Wen-ling.
(Electronic resources)
Formal methods - fun for everybody = first International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers /
by:
International Workshop on Formal Methods Fun for Everybody (2019 :); Roggenbach, Markus.; SpringerLink (Online service); Cerone, Antonio.
(Electronic resources)
Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers /
by:
WADT (Workshop) (2016 :); James, Phillip.; Roggenbach, Markus.; SpringerLink (Online service)
(Electronic resources)
Formal methods for software engineering = languages, methods, application domains /
by:
Roggenbach, Markus.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Mathematical Logic and Foundations.
Theory of Computation.
Logics and Meanings of Programs.
Computer and Information Systems Applications.
Programming Techniques.
Computer science- Mathematics
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering.
Computer Science Logic and Foundations of Programming.
Mathematical and Computational Engineering Applications.
Industrial engineering- Data processing.
Formal methods (Computer science)- Study and teaching
Artificial Intelligence.
Computer software- Development
Computer Science.
Simulation and Modeling.
Computers and Education.
Symbolic and Algebraic Manipulation.