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