語系
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:
Codescu, Mihai.; Diaconescu, Razvan.; Tutu, Ionut.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Mathematics of Computing.
Computation by Abstract Devices.
Computer science- Mathematics
Formal methods (Computer science)
Computer software- Development
Computer Science.