NASA formal methods [Electronic resource] : third international symposium, NFM 2011, Pasadena, Ca, USA, April 18-20, 2011 : proceedings / ed. M. Bobaru [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6617). - ISBN 978-3-642-20398-5 : Б. ц. Рубрики: Computer science    Software engineering    Operating systems (computers)    Logic design    Computer science    Software engineering    Programming languages, compilers, interpreters    Operating systems    Logics and meanings of programs    Software engineering/programming and operating systems    Programming techniques См. : Текст издания Доп.точки доступа: Bobaru, M. \ed.\; SpringerLink (Online service) Свободных экз. нет