Полное описание
>
Tools and algorithms for the construction and analysis of systems : 11th International conference, TACAS 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005: proceedings / SpringerLink (Online service) ; ed. : N. Halbwachs, L. Zuck. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3440). - URL: http://dx.doi.org/10.1007/b107194. - ISBN 978-3-540-31980-1.
ГРНТИ | УДК | |
50.41 | 004.41(063) |
Рубрики:
Программное обеспечение ЭВМ -- Проектирование -- Съезды и конференции
Доп. точки доступа:
Halbwachs, N.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/b107194
Просмотр издания