Leveraging applications of formal methods, verification, and validation [Electronic resource] : 4th international symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings, pt. 1 / ed. T. Margaria, B. Steffen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6415). - ISBN 978-3-642-16558-0 : Б. ц. Рубрики: Computer science    Computer communication networks    Software engineering    Logic design    Data mining    Information systems    Computer science    Logics and meanings of programs    Software engineering    Programming languages, compilers, interpreters    Computer communication networks    Information systems applications (incl.internet)    Data mining and knowledge discovery См. : Текст издания Доп.точки доступа: Margaria, T. \ed.\; SpringerLink (Online service) Свободных экз. нет