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

004.41-654916
Formal methods: state of the art and new directions / eds. P. Boca [et al.]. - Electronic text data. - London : Springer-Verlag, 2010. - URL: http://dx.doi.org/10.1007/978-1-84882-736-3. - ISBN 978-1-84882-736-3.

ГРНТИ	УДК
50.41	004.41

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

http://dx.doi.org/10.1007/978-1-84882-736-3

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