|
|
ІВ196552
Apt, Krzysztof R..
Verification of sequential and concurrent programs [Text] / K. R. Apt, E. Olderog. - 2. ed. - New York[etc.] : Springer, 1997. - 364 p. - (Graduate texts in computer science). - Бібліогр.: p. 343-352. - ISBN 0-387-94896-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Olderog, Ernst-Rüdiger
Видання зберігається у :
|
|