Books similar to «Введение в формальные методы верификации программ», А. С. Камкин

Программирование аналоговых и гибридных компьютеровБернд УльманПеревод Андрей Логунов
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$26.98
Kubernetes изнутриДжей Вьяс and othersПеревод Александр Киселев
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$24.73
Доказательство корректности программК. Рустан М. Лейно and othersПеревод Александр Киселев
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$35.97
Методы верификации программА. М. Миронов
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$15.73
Международные расчёты. Тесты с ответамиСергей КалединЧитает Литрес Авточтец
in Russian
Audio
Средний рейтинг 5 на основе 1 оценок
$4.76
Краткий курс по экологическому праву
Collective work
in Russian
Text
Средний рейтинг 4,4 на основе 7 оценок
$1.49
18+
Максимализмы (сборник)Mikhail Armalinsky
in Russian
Text
Средний рейтинг 4,6 на основе 5 оценок
$1.77
Боевое применение подразделений РТВ ВВС. Подвижный радиовысотомер ПРВ-13Д. Д. Дмитриев and others
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$2.11
Краткая теория времениКарло РовеллиПеревод Александр Мурашов
in Russian
Text
Средний рейтинг 4,5 на основе 24 оценок
$6.53
Обезьяны, кости и геныAlexander Markov
in Russian
Text
Средний рейтинг 4,8 на основе 172 оценок
$6.80
Темная энергия разумаДжеймс Девис
in Russian
Text
Средний рейтинг 5 на основе 40 оценок
$4.76
Теоретическая и практическая конфликтология. Книга 2
Collective work
in Russian
Text
Средний рейтинг 5 на основе 3 оценок
$6.80
Философия сознательного миротворчества: Первое проявлениеДарья Корякина
in Russian
Text
Средний рейтинг 5 на основе 1 оценок
$13.50
Искусство победы: Стратегии и тактики Dota 2 для начинающих и опытных игроковOpen Gamer
in Russian
Text
Средний рейтинг 0 на основе 0 оценок
$2.71
Расширенный фенотип: длинная рука генаRichard DawkinsПеревод А. Гопко
in Russian
Text
Средний рейтинг 4,7 на основе 67 оценок
$5.71
Международное частное право. Преемственность и развитие. Сборник статей по материалам Международной научно-практической конференции, посвященной 130-летнему юбилею профессора Л.А. Лунца
Collective work
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$9.88
Биология для абитуриентов. ЕГЭ, ОГЭ и олимпиады любого уровня сложности. Том 1. Основы классификации. Клетка. Вирусы. Растения. ЖивотныеГабриэль Билич and others
in Russian
Text PDF
Средний рейтинг 4,4 на основе 16 оценок
$8.30
Концепции современного естествознания. Учебное пособие
Collective work
Читает Литрес Авточтец
in Russian
Audio
Средний рейтинг 0 на основе 0 оценок
$1.29
Zabbix. Практическое руководствоАндреа Далле ВаккеПеревод Александр Киселев
in Russian
Text PDF
Средний рейтинг 3,5 на основе 26 оценок
$19.07
Физика. Учебное пособие для СПО. 2-е издание, стереотипноеВ. С. Бабаев
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$10.20
Lingua Latina. Введение в латинский язык и античную культуру. Часть IIА. В. Подосинов and others
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$7.09
Spring Security в действииЛауренциу СпилкэПеревод В. С. Яценков
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$38.22
Игры тестостерона и другие вопросы биологии поведенияRobert SapolskyПеревод Анна Петрова
in Russian
Text
Средний рейтинг 4,3 на основе 168 оценок
$6.80
ТермодинамикаС. Гончаров
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$5.44