Полное описание
>
Apt, K. Verification of sequential and concurrent programs / K. Apt, F. Boer, E. Olderog. - 3rd extended ed. - Electronic text data. - London : Springer-Verlag, 2009. - (Texts in computer science, ISSN 1868-0941). - URL: http://dx.doi.org/10.1007/978-1-84882-745-5. - ISBN 978-1-8488-2745-5.
ГРНТИ | УДК | |
50.05.13 | 004.415.5 |
Кл.слова (ненормированные): программы для эвм -- верификация
Доп. точки доступа:
Boer, F.
Olderog, E.
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-1-84882-745-5
Просмотр издания