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

004.42/A16-229864
Abstraction, refinement and proof for probabilistic systems / ed. A. McIver, C. Morgan. - Electronic text data. - New York, NY : Springer Science + Business Media Inc., 2005. - (Monographs in computer science, ISSN 0172-603X). - URL: http://dx.doi.org/10.1007/b138392. - ISBN 978-0-387-27006-7.

ГРНТИ	УДК
50.05.13	004.415.5

Рубрики:
Программы для ЭВМ -- Верификация

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

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

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