語系
Vardanega, Tullio.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reliable software technologies = Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings /
by:
Vardanega, Tullio.; Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
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]
Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by:
Kordon, Fabrice.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Vardanega, Tullio.
(書目-語言資料,印刷品)
Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /
by:
Wellings, Andy.; Workshop on the Preservation of Stability under Discretization ((2001 :); Vardanega, Tullio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Ada (Computer program language)
Mathematical logic.
Computer logic.
Computer Communication Networks.
Software engineering.
Computer Science.
Programming Techniques.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.
Management of Computing and Information Systems.
Special Purpose and Application-Based Systems.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software