Languages
Vardanega, Tullio.
Overview
Works: | 3 works in 2 publications in 1 languages |
---|
Titles
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 :)
(Language materials, printed)
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)
(Language materials, printed)
Reliable software technologies - Ada-Europe 2014 = 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings /
by:
George, Laurent.; Vardanega, Tullio.; SpringerLink (Online service)
(Electronic resources)
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 :)
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
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.