любовные романы
фэнтези
учебная и научная литература
современная русская литература
современные любовные романы
современная зарубежная литература
детективы
об истории серьезно
Все жанры
приключения
книги о приключениях
ужасы / мистика
учебники и пособия для вузов
cтихи, поэзия
книги по психологии
стихи и поэзия
гуманитарные и общественные науки
русская классика
мистика
боевики, остросюжетная литература
публицистическая литература
любовное фэнтези
биографии и мемуары
эротика и секс
современные детективы
короткие любовные романы
сказки
Жанры
Популярные
Аудиокниги
Вебтуны
Новинки
Бесплатные книги
Списки
Серии и саги
Тэги
Все авторы
Сонник
Форум
Контакты
Войти
Зарегистрироваться
Litres.ru
Стать автором
MyBook.ru
По всем вопросам обращайтесь на:
info@litportal.ru
(©) 2003-2026.
Главная
📚
программирование
▶
Александр Сергеевич Камкин
✔️ Введение в формальные методы верификации программ
Читать онлайн
Добавить
В библиотеку
Оценить:
Рейтинг: 3
Поделиться
Купить и скачать
Введение в формальные методы верификации программ
Автор:
Александр Сергеевич Камкин
Жанр:
программирование,
информатика и вычислительная техника
Год написания книги:
2024
Тэги:
информационные технологии (IT),
технологии разработки программного обеспечения,
тестирование программного обеспечения,
компьютерные науки / Computer Science,
только на Литрес
Настройки чтения
Размер шрифта
Высота строк
Поля
