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

004.415.5(063)/S81-059550
Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / ed. K. Yi. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4134). - URL: http://dx.doi.org/10.1007/11823230. - ISBN 978-3-54037-758-0.

ГРНТИ	УДК
50.01.81	004.415.53(062)

Рубрики:
Программы для ЭВМ -- Тестирование -- Съезды и конференции

Доп. точки доступа:
Yi, K.\ed.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/11823230

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