Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings /
Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings / [electronic resource] :
edited by Jorge Real, Tullio Vardanega.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
- xii, 275 p. : ill., digital.
- Lecture notes in computer science, 6106 0302-9743 ; .
9783642135507 (electronic bk.) 9783642135491 (paper)
Computer software--Reliability--Congresses.
Software engineering--Congresses.
Programming Techniques.
Mathematical Logic and Formal Languages.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
Computer Science.
Programming Languages, Compilers, Interpreters.
005.14
9783642135507 (electronic bk.) 9783642135491 (paper)
Computer software--Reliability--Congresses.
Software engineering--Congresses.
Programming Techniques.
Mathematical Logic and Formal Languages.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
Computer Science.
Programming Languages, Compilers, Interpreters.
005.14