Что почитать
Новинки
Рекомендации
Бесплатные книги
Рейтинги
Жанры
Авторы
Блоги авторов
Подборки
Премии
Издательства
Персонажи
Новости
Лента
Рецензии
Цитаты
Истории
Лайфхаки
Читатели
Группы
Книжный вызов 2025
Игры и конкурсы
Клубы
Афиша
Тесты
Книгообмен
Раздачи
Контакты
Войти
Что почитать
Жанры
Авторы
Новости
Главная
Рецензии
Цитаты
Подборки
Лайфхаки
Группы
Новинки
Издательства
Персонажи
Читатели
Истории
Мероприятия
Раздачи
Книгообмен
Игры
Премии
Тесты
Книжный вызов 2025
Автор
Alain Finkel
1 книга
Нет оценки
Подписаться
Добавить в избранное
Поделиться
Скопировать ссылку
Об авторе
Книги
1
Alain Finkel — новинки
1 издание
Все
Бумажные издания
Электронные издания
Аудиокниги
Сетевые издания
Произведения
По дате
По популярности
По дате
По серии
По циклам
По алфавиту
Произведения
Поиск
0,0
Купить
Systems and Software Verification: Model-Checking Techniques and Tools
Поделиться
Beatrice Berard
,
Michel Bidoit
,
Alain Finkel
,
Francois Laroussinie
,
Antoine Petit
,
Laure Petrucci
,
Philippe Schnoebelen
,
Pierre McKenzie
ISBN:
3540415238
Язык:
Русский
Главная
📚 Все авторы
📚 Alain Finkel
Новые книги
