Книги автора «Ernst-Rüdiger Olderog»

На данной странице предаставлены все книги автора «Ernst-Rüdiger Olderog»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Ernst-Rüdiger Olderog»

Книги

Programmverifikation. Sequentielle, parallele und verteilte Programme

Programmverifikation. Sequentielle, parallele und verteilte Programme (Krzysztof Apt,Ernst-Rüdiger Olderog)