Booksee.org
Главная →
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Javier Esparza, Keijo Heljanko
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
|