語系
Vardanega, Tullio.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reliable software technologies - Ada-Europe 201419th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings /
by:
(1998 :); George, Laurent.; SpringerLink (Online service); Vardanega, Tullio.
(書目-電子資源)
Reliable Software Technology - Ada-Europe 200510th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /
by:
(1998 :); SpringerLink (Online service); Vardanega, Tullio.; Wellings, Andy.
(書目-電子資源)
Reliable software technologiesAda-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings /
by:
(1998 :); Romanovsky, Alexander.; SpringerLink (Online service); Vardanega, Tullio.
(書目-電子資源)
Reliable software technologies - Ada-Europe 201520th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings /
by:
(1998 :); De la Puente, Juan Antonio.; SpringerLink (Online service); Vardanega, Tullio.
(書目-電子資源)
Reliable software technologies - Ada-Europe 201015th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings /
by:
(1998 :); Real, Jorge.; SpringerLink (Online service); Vardanega, Tullio.
(書目-電子資源)
Reliable Software Technologies Ada-Europe 200813th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by:
(1998 :); Kordon, Fabrice.; SpringerLink (Online service); Vardanega, Tullio.
(書目-電子資源)
主題
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Ada (Computer program language)
Computer Science.
Computer Communication Networks.