Полное описание
>
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.41 | 004.41 |
Кл.слова (ненормированные): программное обеспечение -- структура -- анализ -- точные методы -- эссе
Доп. точки доступа:
Abrial, J.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-642-11447-2
Просмотр издания