語系
Codescu, Mihai.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
by:
Codescu, Mihai.; SpringerLink (Online service); Țuțu, Ionuț.; Diaconescu, Răzvan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Computer logic.
Software engineering.
Computers.
Mathematics of Computing.
Computer Science.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer software
Computation by Abstract Devices.