語系
Diaconescu, Razvan.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Institution-independent model theory
by:
SpringerLink (Online service); Diaconescu, Razvan.
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
SpringerLink (Online service); Codescu, Mihai.; Diaconescu, Razvan.; Workshop on the Preservation of Stability under Discretization ((2001 :); Tutu, Ionut.
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Mathematics.
Logic, Symbolic and mathematical.
Model theory.
Computer software
Computation by Abstract Devices.
Mathematics of Computing.
Computer Science.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Computer science
Logics and Meanings of Programs.