• ВХОД

    •  

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

    004.41/R56-520345
     Rigorous methods for software construction and analysis : essays dedicated to egon borger on the occasion of his 60th birthday / ed. J. Abrial, U. Glasser. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5115). - URL: http://dx.doi.org/10.1007/978-3-642-11447-2. - ISBN 978-3-642-11447-2.
    ГРНТИ УДК
    50.41004.41

    Кл.слова (ненормированные): программное обеспечение -- структура -- анализ -- точные методы -- эссе
    Доп. точки доступа:
    Abrial, J.\ed.\
    SpringerLink (Online service)
    Экз-ры полностью 004.41/R56-520345
    http://dx.doi.org/10.1007/978-3-642-11447-2



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