Полное описание
>
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29 – December 2, 2005 : proceedings / ed. J. Romijn [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3771). - URL: http://dx.doi.org/10.1007/11589976. - ISBN 978-3-540-32240-5.
ГРНТИ | УДК | |
50.41 | 004.41(063) |
Рубрики:
Формальные методы -- Съезды и конференции
Программное обеспечение ЭВМ -- Проектирование -- Съезды и конференции
Доп. точки доступа:
Romijn, J.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/11589976
Просмотр издания