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

004.41(063)/F76-711354
Formal methods: foundations and applications : 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / ed. M. V. Oliveira, J. Woodcock. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5902). - URL: http://dx.doi.org/10.1007/978-3-642-10452-7. - ISBN 978-3-642-10452-7.

ГРНТИ	УДК
50.41	004.41(063)

Кл.слова (ненормированные): формальные методы -- программное обеспечение -- аппаратное обеспечение -- проектирование -- конференции
Доп. точки доступа:
Oliveira, M.V.\ed.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-3-642-10452-7

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