Languages
Vardanega, Tullio.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.