libcats.org
Главная →
Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
Interpreting Late Antiquity: Essays on the Postclassical World
Автор: G. W. Bowersock, Автор: Peter Brown, Автор: Oleg Grabar, Автор: Averil Cameron, Автор: Béatrice Caseau, Автор: Henry Chadwick, Автор: Garth Fowden, Автор: Patrick J. Geary, Автор: Yizhar Hirschfeld, Автор: Christopher Kelly, Автор: Hugh Kennedy, Автор: Richard Lim, Автор: Henry Maguire, Автор: Brent D. Shaw
|