• ВХОД

    •  

    Полное описание

    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.09004.43(063)
    50.41004.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



    Просмотр издания
    или
    Просмотр издания