Languages
Diaconescu, Razvan.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Recent trends in algebraic development techniques22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(1998 :); Codescu, Mihai.; Diaconescu, Razvan.; SpringerLink (Online service); Tutu, Ionut.
(Electronic resources)
Institution-independent model theory
by:
Diaconescu, Razvan.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logic.
Software Engineering.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Mathematics of Computing.
Computer software
Computation by Abstract Devices.
Mathematics.
Formal methods (Computer science)
Model theory.
Computer science
Computer Science.