Категории
Русский
Магазины
Outlet
События
Войти
Регистрация
Категории
Книги
Aудиокниги
Электронные книги
Игры
Канцтовары
Подарочные товары
Музыка и фильмы
Техника
Специальные предложения
Бесплатная доставка!
Unfoldings
Unfoldings
Автор
Keijo Heljanko
,
Javier Esparza
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.
Товара нет в наличии
Добавить в избранное
Уведомить, когда товар снова будет в наличии
Support