Что почитать
Новинки
Рекомендации
Бесплатные книги
Рейтинги
Жанры
Авторы
Блоги авторов
Подборки
Премии
Издательства
Персонажи
Новости
Лента
Рецензии
Цитаты
Истории
Лайфхаки
Читатели
Группы
Книжный вызов 2025
Игры и конкурсы
Клубы
Афиша
Тесты
Книгообмен
Раздачи
Контакты
Войти
Что почитать
Жанры
Авторы
Новости
Главная
Рецензии
Цитаты
Подборки
Лайфхаки
Группы
Новинки
Издательства
Персонажи
Читатели
Истории
Мероприятия
Раздачи
Книгообмен
Игры
Премии
Тесты
Книжный вызов 2025
Автор
Michel Bidoit
1 книга
Нет оценки
Подписаться
Добавить в избранное
Поделиться
Скопировать ссылку
Об авторе
Книги
1
Michel Bidoit — об авторе
Предложить изменения
Я — Michel Bidoit или представляю его интересы
Закрыть
Закрыть
Отключить на странице Michel Bidoit
Отключить на всех страницах авторов
Книги
Смотреть 1
Systems and Software Verification: Model-Checking Techniques and Tools
Поделиться
Beatrice Berard
0,0
Купить
Поделитесь
Поделиться ВКонтакте
Поделиться в Odnoklassniki
Поделиться в Mail.ru
Поделиться в Живой Журнал
Поделиться в LiveInternet
Главная
📚 Все авторы
Michel Bidoit
