de la Puente, Juan Antonio.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Reliable Software Technologies – Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
by:
de la Puente, Juan Antonio.; Vardanega, Tullio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer logic.
Special Purpose and Application-Based Systems.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Software engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.