Reliable software technologies Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 proceedings
Ada-Europe International Conference on Reliable Software Technologies (12th 2007 Geneva, Switzerland) Nabil Abdennadher; Fabrice Kordon; Ada-Europe (Organization)
Berlin Springer New York c2007
Localização: IME - Inst. Matemática e Estatística (S L471c v.4498 )(Acessar)