語系
Diaconescu, Razvan.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
Institution-independent model theory
by:
Diaconescu, Razvan.; SpringerLink (Online service)
(書目-電子資源)
主題
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.