Полное описание
> Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010: proceedings / ed. D. Méry ; eds.: D. Méry, S. Merz. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science ; 6396). - URL: http://dx.doi.org/10.1007/978-3-642-16265-7. - ISBN 978-3-642-16265-7. - Текст : электронный.
Рубрики:
Computer science
Software engineering
Computer software
Logic design
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Programming techniques
Algorithm analysis and problem complexity
Доп. точки доступа:
Méry, D.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-16265-7
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -091456)>
Шифр в сводном ЭК: 561a6712aa6be085a8f997b12b3a5861
Просмотр издания