Languages
Mery, Dominique.
Overview
| Works: | 0 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Implicit and explicit semantics integration in proof-based developments of discrete systems = communications of NII Shonan Meetings /
by:
Ait-Ameur, Yamine.; Nakajima, Shin.; Mery, Dominique.; SpringerLink (Online service)
(Electronic resources)
Rigorous state-based methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
by:
ABZ (Conference) (2021 :); Raschke, Alexander.; Mery, Dominique.; SpringerLink (Online service)
(Electronic resources)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
Giannakopoulou, Dimitra.; Mery, Dominique.; SpringerLink (Online service)
(Electronic resources)
Rigorous state-based methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
by:
ABZ (Conference) (2020 :); Raschke, Alexander.; Mery, Dominique.; Houdek, Frank.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 2014 = 11th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings /
by:
Ciobanu, Gabriel.; Mery, Dominique.; SpringerLink (Online service)
(Electronic resources)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
Mery, Dominique.; Merz, Stephan.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Machine theory
Logic in AI.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Information Systems Applications (incl. Internet)
Control Structures and Microprogramming.
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Computer science- Mathematics
Computer programming
Machine learning
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Computer Systems Organization and Communication Networks.