语系
Diaconescu, Razvan.
概要
作品: | 2 作品在 2 项出版品 1 种语言 |
---|
书目信息
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
Clark Conference ((2005 :); Codescu, Mihai.; Diaconescu, Razvan.; SpringerLink (Online service); Tutu, Ionut.
(书目-语言数据,印刷品)
Institution-independent model theory[electronic resource] /
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.