語系
Roggenbach, Markus.
概要
| 作品: | 3 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-電子資源)
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.
(書目-電子資源)
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 :); Cerone, Antonio.; Roggenbach, Markus.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
Formal methods for software engineering = languages, methods, application domains /
by:
Roggenbach, Markus.; SpringerLink (Online service)
(書目-電子資源)
主題
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.