語系
Vardanega, Tullio.
概要
作品: | 3 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /
by:
Vardanega, Tullio.; Wellings, Andy.; SpringerLink (Online service); Ada-Europe International Conference on Reliable Software Technologies (2005 :)
(書目-語言資料,印刷品)
Reliable software technologies - Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings /
by:
Vardanega, Tullio.; SpringerLink (Online service); De la Puente, Juan Antonio.
(書目-語言資料,印刷品)
Reliable software technologies - Ada-Europe 2014 = 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings /
by:
Vardanega, Tullio.; SpringerLink (Online service); George, Laurent.
(書目-電子資源)
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.; Vardanega, Tullio.; SpringerLink (Online service); Ada-Europe International Conference on Reliable Software Technologies ((2008 :)
(書目-語言資料,印刷品)
Reliable software technologies - Ada-Europe 2010 = 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings /
by:
Real, Jorge.; Vardanega, Tullio.; SpringerLink (Online service); Ada-Europe International Conference on Reliable Software Technologies (2010 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Programming Techniques.
Software engineering- Congresses.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer software- Reliability
Computer Science.
Computer Communication Networks.
Computer software- Development
Ada (Computer program language)- Congresses.