Formal methods for industrial critical systems [Electronic resource] : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings / eds. S. Kowalewski, M. Roveri. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6371). - ISBN 978-3-642-15898-8 : Б. ц. Рубрики: Computer science    Software engineering    Logic design    Computer science    Software engineering    Logics and meanings of programs    Programming languages, compilers, interpreters    Special purpose and application-based systems См. : Текст издания Доп.точки доступа: Kowalewski, S. \ed.\; SpringerLink (Online service) Свободных экз. нет