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 ; .
<br/><br/><label>ISBN: </label>9783642135507 (electronic bk.) 9783642135491 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Reliability--Congresses.<br/>Software engineering--Congresses.<br/>Programming Techniques.<br/>Mathematical Logic and Formal Languages.<br/>Software Engineering.<br/>Computer Communication Networks.<br/>Logics and Meanings of Programs.<br/>Computer Science.<br/>Programming Languages, Compilers, Interpreters.
<br/><br/><label>Dewey Class. No.: </label>005.14