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

004.41(063)/F76-586036
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / ed. D. Cofer. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5596). - URL: http://dx.doi.org/10.1007/978-3-642-03240-0. - ISBN 978-3-642-03240-0.

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

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

http://dx.doi.org/10.1007/978-3-642-03240-0

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