Полное описание
> Programming languages and systems : 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010: proceedings / ed. A. D. Gordon ; ed. A. D. Gordon. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science ; 6012). - URL: http://dx.doi.org/10.1007/978-3-642-11957-6, http://dx.doi.org/10.1007/978-3-642-17164-2. - ISBN 978-3-642-11957-6. - Текст : электронный.
ГРНТИ | УДК | |
50.05.09 | 004.43(063) | |
50.41 | 004.4(063) |
Рубрики:
Computer science
Software engineering
Data protection
Logic design
Computer science
Programming languages, compilers, interpreters
Software engineering
Logics and meanings of programs
Systems and data security
Programming techniques
Mathematical logic and formal languages
Кл.слова (ненормированные): КОНФЕРЕНЦИИ -- ПРОГРАММИРОВАНИЯ ЯЗЫКИ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ЭВМ
Доп. точки доступа:
Gordon, A.D.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-11957-6
http://dx.doi.org/10.1007/978-3-642-17164-2
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -778039)
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.43(063)-012465)>
Шифр в сводном ЭК: 94a6157fb895f1ab506fe001eb51d66c
Просмотр издания
или
Просмотр издания