Популярные статьи
Реклама
Обратная связь
Яндекс Апдейт
Сервис не доступен
Оцените работу движка
Кто онлайн
Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость HyeGriffin4 Гость Гость Гость AndreCarroll617 Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Гость Всего: 162
У нас искали
Название: 
Категория: Книги
Дата: 22-12-2018, 12:51
Автор публикации: Gunpowder
Теги: Model, Checking, Верификация, параллельных, распределенных, программных, систем, 2010
Model Checking. Верификация параллельных и распределенных программных систем — В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях.
Просмотров: 170 | 
Комментариев: (0)
