• ВХОД

    •  

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

    004.415.5/P78-837712
     Poernomo, I. Adapting proofs-as-programs : the curry-howard protocol / I. Poernomo, J. Crossley, M. Wirsing. - Electronic text data. - New York, NY : Springer Science + Business Media Inc., 2005. - (Monographs in computer science, ISSN 0172-603X). - URL: http://dx.doi.org/10.1007/0-387-28183-5. - ISBN 0-387-28183-5.
    ГРНТИ УДК
    50.05.13004.415.5
    004.42.046

    Рубрики:
    Программы для ЭВМ -- Верификация
    Программирование для ЭВМ функциональное

    Доп. точки доступа:
    Crossley, J.
    Wirsing, M.
    SpringerLink (Online service)
    Экз-ры полностью 004.415.5/P78-837712
    http://dx.doi.org/10.1007/0-387-28183-5



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