Главная Каталог Высшее образование (возрастное ограничение 16+) Информатика и компьютерные технологии Тестирование программного обеспечения Доказательство корректности программ / Пер. с англ. А. Н. Киселева

Каталог

Категории

Высшее образование (16+) (44671)

Высшее образование

Естественные науки (2770)

Естественные науки

Геофизические науки (57)

Геофизические науки

Общие вопросы геофизики (21)

Физика Земли (8)

Сейсмология (12)

Климатология (11)

Метеорология (7)

Астрономия (45)

Астрономия

Астрономия. Общие вопросы (21)

Астрометрия (2)

Галактики (3)

Космология и микрофизика (19)

Геологические науки (170)

Геологические науки

Геологические науки. Общие вопросы (42)

Геодинамика. Геотектоника. Вулканология (9)

Геологическая разведка. Полезные ископаемые. Геомеханика. (49)

Геохимия. Геофизика (19)

Гидрогеология (18)

Инженерная геология (20)

Минералогия (9)

Петрография (7)

Географические науки (107)

Географические науки

История географии и географических открытий (10)

Общие вопросы географии (32)

Картография (12)

Краеведение (53)

Биология (382)

Биология

Биология. Общие вопросы (81)

Общая биохимия (43)

Биофизика (6)

Биогеография (2)

Микробиология (20)

Математические методы биологических наук (3)

Биоинформатика (6)

Анатомия и гистология человека (73)

Генетика. Общие вопросы (38)

Ботаника (54)

Охрана живой природы (10)

Зоология (48)

Химия (409)

Химия

Основные понятия, законы и теории химии (91)

Общая и неорганическая химия (78)

Органическая химия (65)

Аналитическая химия (33)

Физическая химия (48)

Химические технологии. Химические производства (50)

Физические методы исследования (19)

Аналитическая химия стар (16)

Технологии химической промышленности (62)

Физика (485)

Физика

Квантовая физика (16)

Волновые явления (53)

Математическая физика (23)

Механика (55)

Общая физика (74)

Общие разделы теоретической физики (80)

Прикладная физика (79)

Термодинамика и молекулярная физика (55)

Физика элементарных частиц (30)

Электричество и магнетизм (49)

Почвоведение (52)

Лесное дело (67)

Агрохимия (11)

Экология (349)

Экология

Общие вопросы охраны окружающей среды (123)

Загрязнение окружающей среды (28)

История экологии (5)

Охрана природы (14)

Теория и методы охраны окружающей среды (40)

Управление отходами (17)

Экологическая безопасность (10)

Экологические основы жизнедеятельности населения (18)

Экологическое образование (15)

Международное сотрудничество в области охраны окружающей среды (7)

Промышленная экология (68)

БЖД

Национальная безопасность России (116)

Национальная безопасность России

Обеспечение государственной безопасности (85)

Чрезвычайные ситуации.Общие вопросы (48)

Безопасность жизнедеятельности человека (62)

Пожарная безопасность (118)

Защита населения. Гражданская оборона (19)

Медицина катастроф (20)

Токсикологическая химия (4)

Промышленная безопасность (163)

Геодезия (37)

Естественные науки в целом. Науковедение (136)

Общественные науки (3854)

Общественные науки

Общественные науки в целом (62)

Философия (729)

Философия

Общие вопросы философии (259)

История философии (96)

История русской философии (24)

Онтология, метафизика, метафилософия (26)

Логика (68)

Теория познания (гносеология) (55)

Этика (35)

Эстетика (22)

Проблема человека, философская антропология. Аксиология (48)

Социальная и политическая философия (42)

Философия религии и религиоведение (60)

Философия религии и религиоведение

Философия религии и теология (37)

Политология (866)

Политология

Общие вопросы политологии (324)

Международные отношения (245)

Мировая политика (297)

Дипломатия (85)

Международная безопасность (28)

Конфликтология (63)

Востоковедение (258)

Востоковедение

Китаистика (236)

Общие вопросы (22)

Социология (590)

Социология

Социология. Общие вопросы (86)

История и теория социологии (82)

Методология социологии (37)

Политическая социология (83)

Региональная социология (11)

Социология коммуникаций (20)

Социология образования (22)

Социология права (26)

Социология управления (24)

Экономическая социология (73)

Этносоциология (20)

Общество. Социальное развитие (111)

Социальная защита. Социальная работа (152)

Антропология (60)

Антропология

Антропология. Общие вопросы (60)

Демография. Население (53)

Социальная информатика (24)

История. Исторические науки (958)

История. Исторические науки

Общие вопросы исторических наук (33)

Всеобщая история (133)

Всеобщая история

Всеобщая история в целом (37)

Первобытное общество (3)

Древний мир (до V в.н.э.) (13)

Средние века (V в. - 1640) (35)

Новая история (1640 - 1917) (11)

Новейшая история (1917 - ) (34)

История отдельных стран (144)

История России (543)

Этнография и историческая антропология (56)

Вспомогательные исторические дисциплины (42)

Археология (26)

Религиоведение (200)

Религиоведение

Религиоведение. Общие вопросы (72)

Индуизм.Буддизм (16)

Ислам (29)

Иудаизм (4)

Христианство (79)

Прочие религии и культы (7)

Математика (1050)

Математика

История математики (28)

Математика.Общие курсы (212)

Математическая логика, алгебра и теория чисел (145)

Геометрия и топология (64)

Теория вероятностей и математическая статистика (119)

Вычислительная математика (52)

Дискретная математика и математическая кибернетика (115)

Комбинаторный анализ. Теория графов (32)

Математический анализ (125)

Прикладная математика (86)

Дифференциальные уравнения и теория устойчивости (73)

Информатика и компьютерные технологии (4975)

Информатика и компьютерные технологии

Информатика (669)

Информатика

Теория информации (47)

Архитектура и аппаратное обеспечение ЭВМ (111)

Информационные технологии (124)

Общие вопросы информатики (153)

Информационные системы (170)

Организация и управление ИТ-проектами (70)

Искусственный интеллект (19)

Математические методы в информатике (594)

Математические методы в информатике

Mathcad. Пакет аналитических и численных расчетов для нематематиков (35)

Matlab. Система матричных вычислений для обработки данных (56)

Mathematica. Система аналитических вычислений для профессионалов (5)

Методы обработки данных (103)

Статистика на компьютере (Statistica, SPSS и пр.) (16)

Математика и информатика (50)

Математическая логика и теория алгоритмов (73)

Прикладная математика и информатика (132)

Компьютерное моделирование.Численные методы (130)

Операционные системы (301)

Операционные системы

Операционные системы.Общие вопросы (64)

Операционная система Microsoft Windows (70)

Операционная система Unix (15)

Операционная система Linux (97)

Операционная система Android (24)

Операционная система iOS (11)

Операционная система Windows Mobile (22)

Офисные приложения (152)

Офисные приложения

Microsoft Office. Общие вопросы (52)

Microsoft Excel (57)

Microsoft Word (22)

Microsoft Access (9)

OpenOffice (16)

Программирование. Языки программирования (833)

Программирование. Языки программирования

Языки программирования. Общие вопросы (229)

Язык программирования C (28)

Язык программирования С++ (152)

Язык программирования Delphi (54)

Язык программирования Pascal (25)

Язык программирования C# (C Sharp) (106)

Язык программирования Java (76)

Язык программирования Python (144)

Язык программирования Visual Basic (19)

Программирование.Среды (305)

Программирование.Среды

Программирование. Общие вопросы. (196)

Стандарты и оформление инженерной документации (8)

Программирование для .NET (34)

Программирование для 1С (67)

Программирование для Интернета (644)

Программирование для Интернета

Программирование для Интернета. Общие вопросы (137)

Программирование для Интернета. HTML, XHTML и CSS (59)

Программирование для Интернета. JavaScript (53)

Программирование для Интернета. PHP (50)

Программирование для Интернета. Ruby (10)

Разработка веб-сайта. Общие вопросы (76)

Разработка веб-приложений. Общие вопросы (146)

Тестирование (54)

Интернет вещей (28)

Облачные технологии (52)

Компьютерная графика (458)

Компьютерная графика

Инженерная компьютерная графика. Общие вопросы (121)

AutoCAD в инженерной графике (95)

КОМПАС-3D в инженерной графике (36)

Компьютерная графика в дизайне (98)

Adobe Photoshop (60)

Adobe Illustrator (6)

Базы данных. Разработка и защита (163)

Информационная безопасность и защита информации (323)

Компьютерные сети (138)

Машинное обучение. BigData (150)

Мультимедийные технологии (136)

Безопасность компьютерных систем и программ (279)

Технические средства информатизации (18)

Тестирование программного обеспечения (45)

Инженерное дело (1487)

Инженерное дело

История техники (25)

Общие вопросы техники (81)

Изобретательство и рационализация. Патентное дело (51)

Техническая механика (79)

Сопротивление материалов (30)

Метрология.Стандартизация (83)

Теория надежности (27)

Материаловедение (324)

Материаловедение

Материаловедение и технологии материалов (239)

Наноматериалы (32)

Нанотехнологии (113)

Общие технологии. Основы промышленного производства (16)

Технологические процессы (44)

Черчение (58)

Техническая документация (16)

Автоматика и телемеханика (321)

Автоматика и телемеханика

Теория автоматического управления. Общие вопросы (63)

Вычислительные системы реального времени (11)

Датчики (18)

Релейные элементы автоматики (15)

Усилители (16)

Автоматизация технологических процессов и производств (28)

Программирование промышленных систем автоматизации (47)

Микропроцессорные системы управления (87)

Системы автоматического управления (34)

Математическое описание элементов САУ (13)

Проектирование (257)

Проектирование

Автоматизированное проектирование.Общие вопросы (74)

Проектно-конструкторская документация (13)

Промышленные САПР (82)

ArchiCAD. Система архитектурного проектирования (11)

Autocad. Универсальная система проектирования (69)

SolidWorks. Система трехмерного проектирования (17)

КОМПАС-3D.Отечественная система проектирования (20)

Управление в технических системах (1)

Военное дело (170)

Военное дело

Военно-историческая наука (17)

Вооруженные силы. Общие вопросы (32)

Оружие. Общие вопросы (56)

Вооруженные силы зарубежных стран (14)

Военная техника (24)

Подготовка военных кадров. Общие вопросы (35)

Горное дело (855)

Горное дело

Общие вопросы горного дела (204)

Горные машины и комплексы (86)

Горные предприятия (148)

Маркшейдерское дело (18)

Взрывные работы (28)

Бурение (16)

Обогащение полезных ископаемых (47)

Разработка месторождений полезных ископаемых (113)

Разработка нефтяных и газовых месторождений (54)

Техника безопасности в горном деле (42)

Электроснабжение горных предприятий (18)

Горная экология (35)

Горное дело. Журналы. (48)

Машиностроение и инжиниринг (509)

Машиностроение и инжиниринг

Коррозия металлов. Защита металлов от коррозии (16)

Общая технология машиностроения (96)

Проектирование машин и механизмов и их деталей (35)

Слесарные работы (2)

Сборка машин и механизмов (3)

Испытание машин и механизмов (4)

Машиноведение, системы приводов и детали машин (129)

Методы контроля и диагностики в машиностроении (32)

Сварка, резка, пайка, наплавка, склеивание и биметаллизация металлов (102)

Инжиниринг (66)

Станкостроение (35)

Энергетическое машиностроение (433)

Энергетическое машиностроение

Энергетическое машиностроение.Общие вопросы (98)

Теплоэнергетика. Теплотехника (124)

Электроэнергетика. Электротехника (168)

Ядерная техника и технологии (50)

Авиационная техника и технологии (85)

Ракетно-космическая техника и технологии (97)

Судостроение (45)

Судостроение

История судостроения (14)

Общие вопросы судостроения (14)

Технология судостроения и технологическое оборудование (14)

Судостроительные материалы (3)

Транспорт (153)

Транспорт

Общие вопросы транспорта (31)

Железнодорожный транспорт (24)

Автомобильный транспорт (26)

Трубопроводный транспорт (13)

Промышленный транспорт (13)

Городской транспорт (9)

Транспортно-экспедиционные работы (13)

Обслуживание транспорта (17)

Погрузочно-разгрузочный транспорт (9)

Металлургия (152)

Металлургия

Металлургические процессы.Общие вопросы (139)

Экология металлургического производства (2)

Информационные технологии в металлургии (4)

Обработка металлов.Ювелирное дело (14)

Телекоммуникации, электроника, электротехника и радиотехника (1412)

Телекоммуникации, электроника, электротехника и радиотехника

Инфокоммуникационные технологии и системы связи (59)

Оптико-электронные приборы и системы (13)

Проектирование и технология электронных средств (125)

Проектирование и технология электронных средств

Проектирование и технология электронно-вычислительных средств (72)

Радиотехника и электротехника (206)

Телекоммуникации (241)

Телекоммуникации

Радиосвязь, радиовещание и телевидение (86)

Средства связи с подвижными объектами (24)

Телекоммуникационные сети и протоколы (76)

Физика и техника оптической связи (32)

Эксплуатация средств связи (13)

Электроника и микроэлектроника (294)

Электроника и микроэлектроника

Квантовая и оптическая электроника (12)

Мехатроника и робототехника (18)

Микроэлектроника и твердотельная электроника (130)

Светотехника и источники света (3)

Электронные приборы и устройства (110)

Приборостроение и оптотехника (197)

Приборостроение и оптотехника

Акустические приборы и системы (4)

Метрология. Стандартизация. Сертификация (44)

Биомедицинская инженерия (7)

Нанотехнологии в приборостроении (32)

Оптотехника и фотоника (23)

Приборы и методы контроля качества и диагностики (14)

Приборы и системы ориентации, стабилизации и навигации (9)

Проектирование и технологии приборостроения (34)

Робототехника (19)

Электротехника (136)

Фотоника, приборостроение, оптические и биотехнические системы и технологии (217)

Строительство. Архитектура (819)

Строительство. Архитектура

Архитектура зданий и сооружений (207)

Архитектура зданий и сооружений

Части зданий. Архитектурные конструкци (34)

Архитектурно-строительное проектирование (151)

Технология и организация строительства (313)

Технология и организация строительства

Технология и организация строительства. Общие вопросы (154)

Строительные конструкции, здания и сооружения (41)

Водоснабжение, канализация, строительные системы охраны водных ресурсов (45)

Теплоснабжение, вентиляция, кондиционирование воздуха, газоснабжение и освещение (73)

Строительные материалы и изделия (80)

Строительная механика (60)

Гидравлика и инженерная гидрогеология (45)

Отдельные виды строительства (21)

Урбанистика и культурология города (60)

Экологическая безопасность строительства и городского хозяйства (17)

Строительство. Архитектура. Журналы (17)

Строительство. Архитектура. Журналы

Бетон и железобетон (3)

Бетон и железобетон

Жилищное строительство (7)

Жилищное строительство

Строительные материалы (7)

Строительные материалы

Юридические науки.Право (4557)

Юридические науки.Право

Общая теория права (369)

Информационные технологии в юридических науках. Правовая информация (47)

История правовой мысли (166)

Теория государства и права (224)

Отрасли права (2870)

Отрасли права

Административное право. Административный процесс (141)

Арбитражно-процессуальное право (62)

Банковское и финансовое право (236)

Гражданский процесс (69)

Гражданское право (357)

Другие отрасли права (178)

Жилищное право (65)

Земельное право (40)

Избирательное право. Избирательные системы. Выборы. Референдумы (22)

Информационное право (55)

Информационное право

Высокотехнологичное право и этика (27)

Конституционное право (198)

Медицинское право (57)

Муниципальное право (46)

Налоговое право (72)

Образовательное право (24)

Право интеллектуальной собственности (102)

Право социального обеспечения (50)

Правонарушения в области информатики (40)

Преступления в сфере экономики (49)

Природоресурсное и экологическое право (38)

Противодействие коррупции (37)

Римское право (32)

Семейное право (85)

Спортивное право (10)

Таможенное право (28)

Трудовое право (129)

Уголовное право (404)

Хозяйственное, коммерческое и предпринимательское право (246)

Ювенальное право (16)

Смежные дисциплины (274)

Смежные дисциплины

Криминалистика (66)

Криминология (39)

Правовая статистика (4)

Социология права (14)

Судебная медицина (9)

Судебная экспертиза (72)

Философия права (19)

Юридическая педагогика (18)

Юридическая психология (26)

Юридическая этика (7)

Органы юстиции (266)

Органы юстиции

Адвокатура (22)

Нотариат (20)

Правоохранительные органы (98)

Прокуратура (41)

Суд. Судоустройство (85)

Международное право (179)

Государство и право отдельных стран (170)

Гуманитарные науки (6444)

Гуманитарные науки

Краеведение (47)

Страноведение (214)

Журналистика (302)

Журналистика

Журналистика. Общие вопросы (52)

Связи с общественностью (86)

История журналистики (45)

Радиожурналистика (6)

Тележурналистика (17)

Книжное дело (61)

Филология. Литературоведение. (2293)

Филология. Литературоведение.

Лингвистика. Языкознание (801)

Лингвистика. Языкознание

История языка и введение в спецфилологию (168)

Лингвистика и межкультурная коммуникация (248)

Лингвокультурология (101)

Перевод и переводоведение (161)

Теоретическая грамматика (7)

Теоретическая фонетика (2)

Этнолингвистика (40)

Литературоведение (947)

Литературоведение

Лексикология (38)

Стилистика (99)

Литературоведение. Русская и зарубежная литература (712)

Риторика (109)

Русский язык и культура речи (394)

литературоведение 1 (5)

литературоведение 1

История литературы (5)

Иностранные языки (2420)

Иностранные языки

Английский язык (980)

Английский язык

Английский язык. Общие вопросы (467)

Английский язык. Теория и практика перевода (29)

Английский язык. Книги для чтения (97)

Английский язык для гуманитарных специальностей (43)

Английский язык для международников (12)

Английский язык для специалистов IT направлений (21)

Английский язык для технических специальностей (123)

Английский язык для экономистов (170)

Английский язык для юристов (28)

Английский язык. Лингвострановедение (33)

Немецкий язык (243)

Французский язык (119)

Русский язык как иностранный (285)

Китайский язык (120)

Арабский язык (15)

Польский язык (19)

Славянские и старославянский языки (21)

Японский язык (23)

Греческий и Древнегреческий язык (8)

Латинский язык (54)

Армянский язык (2)

Другие древние языки (4)

Другие языки Европы (27)

Иврит и идиш (5)

Испанский язык (76)

Итальянский язык (31)

Мультиязычные издания (10)

Нидерландский язык (2)

Сербский язык (5)

Турецкий язык (5)

Украинский язык (2)

Финский язык (10)

Хорватский язык (1)

Чешский язык (8)

Шведский язык (6)

Языки Юго-Восточной Азии (24)

Литература на иностранных языках (315)

История и философия науки. Науковедение (89)

История и философия науки. Науковедение

История и философия науки и техники (8)

Экономика. Экономические науки (7774)

Экономика. Экономические науки

Экономическая теория и история (809)

Экономическая теория и история

История экономических учений (191)

Микроэкономика. Макроэкономика (197)

Общие вопросы экономики (421)

Теория инноваций (39)

Математические методы в экономике (213)

Математические методы в экономике

Математика в экономике (82)

Статистика (83)

Эконометрика (46)

Учетные науки (306)

Учетные науки

Автоматизация бухгалтерского учета (38)

Международные стандарты учета (13)

Учет и анализ хозяйственной деятельности (258)

Аудит (90)

Бюджетная система (41)

Внешнеэкономическая деятельность (530)

Внешнеэкономическая деятельность

Валютное регулирование (25)

Общие вопросы внешнеэкономической деятельности (102)

Таможня. Таможенная политика (414)

Государственное и муниципальное управление (354)

Деньги. Кредит. Банки (175)

Инвестиции (124)

Информатика в экономике (189)

Коммерция (188)

Маркетинг (373)

Менеджмент (1348)

Менеджмент

Антикризисный менеджмент (35)

Деловое общение (58)

Инновационный менеджмент (74)

Менеджмент в отраслях (40)

Менеджмент персонала. Кадровая служба (292)

Общий менеджмент (354)

Организационный менеджмент (136)

Проектный менеджмент (161)

Производственный менеджмент (48)

Стратегический менеджмент (74)

Финансовый менеджмент (51)

Эккаунтинг-менеджмент (25)

Мировая экономика (96)

Налоговая система (163)

Недвижимость (63)

Отраслевая экономика (514)

Отраслевая экономика

Геология, разведка недр, природопользование (94)

Здравоохранение (4)

Образование (8)

Общие вопросы отраслевой экономики (61)

Пищевкусовая промышленность (25)

Промышленность (13)

Сельское хозяйство (114)

Сервис и туризм (56)

Строительство (40)

Торговля (48)

Транспорт (16)

Энергетика (8)

IT-индустрия (4)

Интеллектуальная собственность (1)

Индустрия спорта (2)

Предпринимательство. Бизнес (781)

Предпринимательство. Бизнес

Бизнес-информатика (90)

Бизнес-планирование (34)

Общие вопросы предпринимательства (350)

Бизнес литература на английском языке (1)

Переводная бизнес-литература (354)

Развитие отдельных регионов (213)

Реклама. Public Relations (196)

Рынок ценных бумаг (58)

Страхование (77)

Финансы. Финансовый анализ и учет (373)

Экономика зарубежных стран и стран СНГ (88)

Экономика непроизводственной сферы (66)

Экономика предприятия (861)

Экономика предприятия

Инновации (67)

Комплексный экономический анализ предприятия (69)

Логистика (112)

Метрология и стандартизация (6)

Общие вопросы экономики предприятия (203)

Планирование на предприятии (27)

Труд и зарплата (121)

Управление качеством (75)

Управление предприятием. Делопроизводство (106)

Управленческий учет и контроллинг (53)

Ценообразование. Себестоимость (36)

Экономическая безопасность (138)

Образование. Педагогические науки (4112)

Образование. Педагогические науки

Общая педагогика (485)

Общая педагогика

История образования и педагогической мысли (57)

Общие вопросы педагогики (244)

Теории и концепции обучения (26)

Теории и концепции воспитания (35)

Преподавание педагогики. Обучение, повышение квалификации (23)

Автоматизация и автоматизированные системы в образовании (62)

Образование и педагогика в отдельных странах (10)

Здоровьесберегающая педагогика (28)

Дошкольное воспитание. Дошкольная педагогика (196)

Дошкольное воспитание. Дошкольная педагогика

Дошкольная педагогика.Общие вопросы (158)

Педагогика детей раннего возраста (29)

Школьное образование (2069)

Школьное образование

Методика преподавания учебных дисциплин (1987)

Методика преподавания учебных дисциплин

Общие вопросы школьного образования (83)

Высшее образование. Аспирантура. Докторантура (404)

Высшее образование. Аспирантура. Докторантура

Методика преподавания учебных дисциплин (137)

Общие вопросы высшего образования (262)

Профессиональное и специальное образование (102)

Профессиональное и специальное образование

Общие вопросы профессионального образования (79)

Методика преподавания учебных дисциплин (23)

Коррекционная (специальная) педагогика (574)

Коррекционная

Коррекционная (специальная) педагогика. Общие вопросы (227)

Сурдопедагогика и тифлопедагогика (36)

Олигофренопедагогика (59)

Логопедия (216)

Аутизм и нарушения развития (84)

Специализированные отрасли педагогики (130)

Специализированные отрасли педагогики

Сравнительная педагогика (5)

Этнопедагогика (11)

Социальная педагогика (62)

Военная педагогика (1)

Педагогика физкультуры и спорта (51)

Семейная педагогика (64)

Организация образования. Управление. Экономика. Статистика (57)

Педагогическая психология (129)

Образование взрослых. Андрагогика (29)

Психология (2191)

Психология

Фундаментальная психология (991)

Фундаментальная психология

История психологии (59)

Общая психология (481)

Возрастная психология (104)

Психология личности (182)

Социальная психология (156)

Этнопсихология (15)

Прикладная психология (1003)

Прикладная психология

Педагогическая психология (153)

Психологическая диагностика (57)

Психологическое консультирование (422)

Юридическая психология (24)

Психология семьи (148)

Психология менеджмента (100)

Клиническая психология (104)

Практическая психология (233)

Практическая психология

Тренинги (108)

Психология лидерства (126)

Медицина и здравоохранение (993)

Медицина и здравоохранение

Общие вопросы медицины и здравоохранения (144)

Общие вопросы медицины и здравоохранения

История медицины и здравоохранения (7)

Материалы общего характера (84)

Коммерческие вопросы, маркетинг, реклама (15)

Правовые вопросы (28)

Автоматизация и автоматизированные системы (12)

Медико-биологические дисциплины (126)

Медико-биологические дисциплины

Медицинская биофизика и биохимия (24)

Медицинская генетика (43)

Медицинская вирусология (11)

Медицинская микробиология (14)

Медицинская гистология и цитология (12)

Медицинская иммунология (13)

Медицинские материалы, средства и изделия (9)

Медицинская техника и технологии (49)

Медицинская техника и технологии

Медицинская техника (18)

Биотехнологии и биоинженерия (31)

Клиническая медицина (564)

Клиническая медицина

Акушерство и гинекология (21)

Анестезиология (3)

Внутренние болезни (39)

Гастроэнтерология и гепатология (31)

Дерматология и венерология. Косметология (13)

Инфекционные болезни (37)

Кардиология и ангиология (34)

Неврология. Нейрохирургия (60)

Онкология (16)

Гематология и трансфузиология (10)

Ортопедия и травматология. Медицинские аспекты протезирования (21)

Болезни костно-мышечной системы (7)

Оториноларингология (13)

Офтальмология (13)

Педиатрия (64)

Клиническая психология. Психиатрия. Психотерапия (103)

Ревматология (9)

Стоматология и челюстно-лицевая хирургия (28)

Туберкулез (6)

Хирургия (54)

Эндокринология медицинская. Расстройства питания и нарушения обмена веществ (21)

Геронтология и гериатрия (15)

Курортология и физиотерапия (8)

Рентгенология и медицинская радиология (24)

Фармакология (89)

Гигиена и эпидемиология (31)

Физическая культура и спорт (510)

Физическая культура и спорт

Материально-техническая база физической культуры и спорта (9)

Материально-техническая база физической культуры и спорта

Специализированное питание спортсменов (9)

Медико-биологические основы физической культуры и спорта (62)

Медико-биологические основы физической культуры и спорта

Антидопинговый контроль в спорте (4)

Биохимия спорта (7)

Физиология спорта (51)

Методические основы видов спорта (143)

Методические основы видов спорта

Баскетбол (3)

Волейбол (10)

Другие виды спорта (52)

Легкая атлетика (5)

Национальные виды спорта (2)

Спортивная борьба (8)

Футбол (31)

Хоккей с шайбой (8)

Художественная гимнастика.Акробатика (17)

Шахматы и шахматная композиция (7)

Общие вопросы физической культуры и спорта (59)

Общие вопросы физической культуры и спорта

Автоматизация и автоматизированные системы (2)

История физкультуры и спорта (3)

Спортивное право (3)

Экономика, организация, управление, планирование и прогнозирование (15)

Спортивные соревнования (9)

Спортивные соревнования

Методика проведения физкультурных праздников и спортивных соревнований (2)

Олимпийские игры. Олимпийское движение (7)

Теория физической культуры и спорта (229)

Теория физической культуры и спорта

Научные основы спортивной тренировки (63)

Общие основы системы физического воспитания (68)

Психология спорта (37)

Физкультурно-оздоровительная работа (64)

Сфера обслуживания (174)

Сфера обслуживания

Социально-культурный сервис и туризм (147)

Легкая промышленность. Бытовые услуги (23)

Сельское и рыбное хозяйство (403)

Сельское и рыбное хозяйство

Агрономия (108)

Агрохимия и агропочвоведение (34)

Ветеринария (81)

Водные биоресурсы и аквакультура (7)

Зоотехния (48)

Лесное, парковое и охотничье хозяйство (13)

Технологическое оборудование и машины в сельском хозяйстве (48)

Технология производства и переработки сельскохозяйственной продукции (44)

Журналы (8)

Технология продовольственных продуктов и потребительских товаров (413)

Технология продовольственных продуктов и потребительских товаров

Кулинария и поварское искусство (30)

Метрология, стандартизация и сертификация пищевых продуктов (23)

Оборудование пищевой промышленности (27)

Пищевые технологии. Переработка продуктов животного и растительного происхождения (104)

Предприятия общественного питания. Ресторанное дело (35)

Санитарный контроль продовольственных товаров (8)

Товароведение и экспертиза пищевой продукции (48)

Химия, физика и биология продуктов пищевой продукции (45)

Технология полиграфического и упаковочного производства (11)

Товароведение и экспертиза непродовольственных товаров (33)

Искусство (1251)

Искусство

Дизайн. Компьютерные технологии в искусстве (328)

Искусство и архитектура (493)

Искусство и архитектура

Архитектура (95)

Декоративно-прикладное искусство (49)

Живопись. Графика. Скульптура (103)

Охрана памятников искусства. Художественные музеи, коллекции и собрания (48)

Теория и история искусства (161)

Художественная фотография (54)

Музыка и зрелищные искусства (458)

Музыка и зрелищные искусства

Киноискусство (137)

Музыка. Эстрада (208)

Танец (хореография) (33)

Театр (58)

Художественное радиовещание и художественное телевидение (28)

Другие виды и формы искусства (12)

Культура. Культурология (620)

Культура. Культурология

Архивное дело. Архивоведение (37)

Библиотечное дело. Библиотековедение (106)

Информационная культура (16)

Культура и ее специализированные сферы (76)

Культура массовых коммуникаций (41)

Культура России (64)

Музейное дело. Музееведение (57)

Теория и история культуры (183)

Философия и социология культуры (51)

Среднее профессиональное образование (14+) (3312)

Среднее профессиональное образование

Коллекции издательства Просвещение (10-11 кл.) (377)

Коллекции издательства Просвещение

ВО. Коллекция. Изд-во «Просвещение» (без ограничения числа пользователей) (26)

МК. Коллекция. Изд-во «Просвещение» (без ограничения числа пользователей) (7)

ПУ. Коллекция. Изд-во «Просвещение» (без ограничения числа пользователей) (18)

ФПУ. 10-11 кл. Изд-во «Просвещение» (без ограничения числа пользователей) (163)

ЭФУ Просвещение (10-11 кл.) Ключи (188)

ЭФУ Просвещение

Учебные наглядные пособия (2)

Общеобразовательные предметы. Коллекции (323)

Общеобразовательные предметы. Коллекции

Коллекции издательства Русское слово (128)

Коллекции издательства Русское слово

Русское слово 9-11 класс (81)

ЭФУ (10-11 кл.) -Русское слово (47)

ФП: экономика, МХК (5)

СПО: Учебники и учебные пособия из списка ПООП (157)

Архитектура и строительство (214)

Архитектура и строительство

Архитектура и архитектурное проектирование (14)

Материаловедение, сопротивление материалов и строительная механика (53)

Материаловедение, технологии материалов и покрытий (3)

Монтаж и эксплуатация оборудования и систем газоснабжения (5)

Монтаж, наладка и эксплуатация электрооборудования промышленных и гражданских зданий (3)

Производство неметаллических строительных изделий и конструкций (13)

Строительные машины (2)

Строительство и эксплуатация зданий и сооружений (85)

Строительство и эксплуатация инженерных сооружений (27)

Теория, история и философия архитектуры (1)

Черчение и техническая графика (12)

Отделочные строительные работы (2)

Астрономия (8)

Безопасность жизнедеятельности человека (35)

Безопасность жизнедеятельности человека

Пожарная и техногенная безопасность (8)

Биология (19)

Военное дело (5)

География, метеорология и картография (6)

Геология, геодезия и разведка полезных ископаемых (11)

Естествознание (2)

Иностранные языки (106)

Информатика и вычислительная техника (299)

Информационная безопасность (70)

История и философия (36)

Культура и искусство (52)

Культура и искусство

Культурология, музееведение и искусствоведение (13)

Декоративно-прикладные искусства (27)

Лесное, парковое и охотничье хозяйство (23)

Математика и геометрия (17)

Медицина (292)

Металлургия, машиностроение и металлообработка (160)

Металлургия, машиностроение и металлообработка

Безопасность технологических процессов и производств (4)

Материаловедение, технологии материалов и покрытий (25)

Металлургия и технологии литья (3)

Проектирование и технология промышленного оборудования и транспортных средств (17)

Ремонт и эксплуатация технологических машин, станков и оборудования (6)

Сварочное производство (23)

Технологии металлообработки, металлообрабатывающие станки и комплексы (23)

Технологические машины и оборудование (22)

Технология и автоматизация машиностроения (26)

Образование (138)

Образование

Физическая культура (6)

Обществознание (37)

Педагогика (34)

Почтовое дело (3)

Психология (30)

Русский язык и литература (75)

Сельское и рыбное хозяйство (83)

Сельское и рыбное хозяйство

Агрономия и технологии сельского хозяйства (21)

Ветеринария и зоотехния (24)

Селькохозяйственные машины и оборудование (16)

Технологии переработки сельскохозяйственной продукции (7)

Сервис (128)

Сервис

Парикмахерское искусство и декоративная косметика (21)

Ремонт и техническое обслуживание бытовой техники (37)

Социокультурный сервис и туризм. Гостиничное дело (61)

Социология и социальная работа (19)

Технология деревообрабатывающих производств, столярное дело. Мебельное производство. (14)

Технология продовольственных продуктов и потребительских товаров (101)

Технология продовольственных продуктов и потребительских товаров

Технологии и оборудования швейного производства (32)

Технология продовольственных продуктов и организация общественного питания (60)

Торговля: логистика, оборудование, сервис (1)

Транспортные средства (95)

Транспортные средства

Безопасность на транспорте (2)

Железнодорожный транспорт (2)

Организация перевозок и управление на транспорте (4)

Ремонт и техническое обслуживание автотранспорта (68)

Ремонт и эксплуатация водного транспорта (1)

Ремонт и эксплуатация специального и строительного автотранспорта (12)

Техническая эксплуатация летательных аппаратов и двигателей (1)

Водный транспорт (4)

Физика и математика (102)

Физкультура и спорт (14)

Философия (8)

Химия и технологии химической промышленности (25)

Экология и природопользование (28)

Экономика и управление (267)

Экономика и управление

Банковское дело (14)

Делопроизводство и кадровое дело (5)

Коммерция и предпринимательское дело (5)

Логистика (8)

Маркетинг (15)

Менеджмент (21)

Основы экономики, история экономических учений (24)

Отраслевая экономика (12)

Стандартизация, метрология, оценка соответствия и управление качеством (14)

Статистика (6)

Товароведение (21)

Торговое дело (23)

Экономика организации, управленческий и бухгалтерский учет (72)

Электроника, радио-, электро- и схемотехника (86)

Энергетика, энергетическое машиностроение и электротехника (102)

Энергетика, энергетическое машиностроение и электротехника

Монтаж и эксплуатация линий электропередачи (2)

Теплоснабжение и теплотехническое оборудование (5)

Техническая эксплуатация и обслуживание электрического и электромеханического оборудования (16)

Электрические машины и аппараты (13)

Электрические станции, сети и системы (10)

Электроэнергетика и электротехника (56)

Юриспруденция и правоведение (93)

Общее образование (12+) (934)

Общее образование

Учебники из Федерального перечня (253)

Биология (53)

География (21)

Геометрия (4)

Изобразительное искусство (6)

Иностранные языки (142)

Иностранные языки

Английский (85)

Немецкий (15)

Отдельные языки (18)

Французский (22)

Информатика (98)

История (75)

Литература (67)

Литературное чтение (7)

Математика (94)

Обучение грамоте (4)

Обществознание (21)

Окружающий мир (2)

Русский язык (88)

Технология (12)

Физика (67)

Физическая культура (5)

Химия (24)

Астрономия (6)

Естествознание (2)

Изобразительное искусство (рисование) (3)

Мировая художественная культура (МХК) (6)

Музыка (6)

Общие вопросы школьного образования (17)

Основы безопасности жизнедеятельности (1)

Основы религиозных культур и светской этики (2)

Робототехника (22)

Экономика (8)

Экология (2)

Дополнительно для школ (6)

Профессиональная литература (1161)

Профессиональная литература

Профессиональная деловая литература (833)

Профессиональная деловая литература

Безопасность (11)

Бизнес (73)

Деньги.Кредит.Банки (35)

Информационные технологии (27)

Маркетинг (78)

Менеджмент (247)

Мировая экономика (17)

Популярная литература о бизнесе (174)

Финансы (40)

Инвестиции (25)

Коллекции (48316)

Коллекции

Коллекции ВУЗов (308)

Коллекции Айбукс (3184)

Коллекции Айбукс

Образовательный модуль "Системы искусственного интеллекта" (371)

Образовательный модуль "Системы искусственного интеллекта"

Образовательный модуль "Системы искусственного интеллекта" Минобрнауки рекомендует (10)

Образовательный модуль "Системы искусственного интеллекта" базовый уровень (103)

Образовательный модуль "Системы искусственного интеллекта" продвинутый уровень (231)

Образовательный модуль "Системы искусственного интеллекта" экспертный уровень (292)

мультитематическая коллекция издательств БХВ и Питер для вузов связи и телекоммуникаций (508)

Коллекция сайта LibreTexts (76)

Переводная IT-литература (1109)

Переводная IT-литература

O’Reilly (235)

Издательские коллекции (47897)

Издательские коллекции

1С Паблишинг (41)

Агентство Научных Изданий (50)

Ад Маргинем Пресс (206)

Аква-Терм (5)

Альпина (1860)

Альфа-М (53)

Антология (125)

Аспект-Пресс (485)

Аспект-Пресс

Социально-гуманитарные науки (коллекция) (234)

Беларуская навука (620)

Библиороссика (183)

БХВ-Петербург (1324)

Бюро Горбунова (19)

Весь Мир (351)

Владос-Пресс (305)

Волгоградский государственный архитектурно-строительный университет (79)

Воронежский университет инженерных технологий (262)

Восточная книга (58)

Время (17)

Вузовский учебник (36)

Высшая школа экономики (618)

Вышэйшая школа (848)

Галактика (75)

Генезис (101)

Гиорд (94)

Горная книга (МГГУ) (982)

Горячая Линия -Телеком (294)

Дашков и К (1265)

Дело (РАНХиГС) (983)

Директ-Медиа (63)

ДМК-Пресс (1983)

Зерцало-М (13)

Издательский дом ВКН (58)

Издательско-полиграфическая ассоциация высших учебных заведений (5)

Издательство «Дмитрий Сечин» (9)

Издательство В. Секачев (48)

Издательство Ивана Лимбаха (27)

Издательство Института Гайдара (102)

Инcтитут общегуманитарных исследований (122)

Институт мировых цивилизаций (41)

Институт психологии РАН (84)

Интеллект-Центр (62)

Интермедиатор (4)

Интермедия (186)

Инфотропик Медиа (337)

Инфра М (1644)

Инфра-Инженерия (105)

ИЦ РИОР (62)

Квант Медиа (17)

Кемеровский государственный институт культуры (347)

Когито-Центр (449)

Креативная экономика (106)

Лаборатория знаний (672)

Легион (30)

Логос (182)

Магистр (11)

Машиностроение (139)

МГТУ им. Н.Э. Баумана (1065)

Медиа Сфера (121)

Медиапапир (5)

Медицинская литература (18)

Международные отношения (254)

Металлургиздат (9)

Мир и образование (37)

МИСИ—МГСУ (496)

Молодая гвардия (123)

Московский государственный университет (467)

Научный консультант (328)

Национальный Открытый Университет ИНТУИТ (1097)

Новосибирский государственный аграрный университет (94)

Новосибирский государственный технический университет (680)

ОмГТУ (490)

Омега-Л (20)

Оренбургский государственный университет (390)

Пер Сэ (115)

Перспектива (Юникс) (24)

Питер (3210)

Пожарная книга (91)

Политическая энциклопедия (47)

Попурри (157)

Пробел-2000 (326)

Прогресс-Традиция (279)

Прометей (1129)

Проспект (3133)

Проспект Науки (93)

РОСМЭН (149)

Российская таможенная академия (225)

Российский государственный гуманитарный университет (69)

Российский государственный социальный университет (92)

Российский государственный университет правосудия (338)

Русский язык. Курсы (68)

Санкт-Петербургский государственный университет (316)

Сибирский федеральный университет (273)

Синдбад (45)

Синергия (151)

Скифия (123)

СО РАН (47)

Созидающий мир (18)

СОЛОН-ПРЕСС (283)

София (128)

Социум (224)

СПбГИПСР (23)

СПБКО (44)

Спорт (235)

Ставропольский государственный аграрный университет (АГРУС) (566)

Статут (103)

Страта (176)

Стрелка Пресс (39)

Стройматериалы (17)

Студия Артемия Лебедева (4)

Теревинф (193)

Тетрасистемс (357)

Техносфера (187)

Томский государственный университет (178)

Троицкий мост (259)

ТУСУР (443)

ТЦ Сфера (22)

Университетская книга (19)

Уральский федеральный университет (874)

Феникс (287)

Финансы и статистика (280)

Флинта (4379)

Фолиант (118)

ЦИПСиР (75)

Человек (8)

Эдитус (55)

Эко-Вектор (34)

Эксмо (10)

Эксперт-Наука (54)

Энергия (128)

Энтропос (48)

Юр-ВАК (66)

Юридический центр-Пресс (55)

Юстицинформ (398)

Прикладная и научно-популярная литература (3073)

Прикладная и научно-популярная литература

Автодело (52)

Биографии. Мемуары (283)

Деловая литература (343)

Дом, интерьер, строительство (42)

История, политика (270)

Культура и искусство (157)

Наука и техника (273)

Популярная информатика. Самоучители (304)

Популярная медицина и здоровье (244)

Психология и саморазвитие (502)

Рекомендации для родителей (287)

Сад, огород (15)

Спорт и красота (91)

Хобби и рукоделие (162)

Эзотерика (161)

Универсально-справочная литература (424)

Универсально-справочная литература

Словари (160)

Справочники (244)

Энциклопедии (53)

Развивающая и учебная литература (670)

Развивающая и учебная литература

Абитуриентам (118)

Дошкольное образование (195)

Школьное образование (427)

Художественная литература (12+) (2693)

Художественная литература

Русская классическая литература (1578)

Русская современная литература (701)

Зарубежная литература (279)

Зарубежная литература

Зарубежная литература. Коллекция Айбукс (24)

Фольклор (31)

Художественная литература на иностранных языках (103)

Литература с возрастным ограничением 16+ (28)

Литература с возрастным ограничением 18+ (17)

Литературные сборники (202)

Детская художественная литература (0+) (212)

Детская художественная литература

Сказки (18)

Журналы (1146)

Журналы

IT-Manager (42)

Journal of Mining Institute (26)

Агропродовольственная политика России (4)

Анестезиология и реаниматология (4)

АПК: инновационные технологии (4)

Архив патологии (4)

Бизнес в законе (25)

Бизнес в законе. Живая экономика. Статья (1)

Биозащита и биобезопасность (10)

Бюллетень Московского общества испытателей природы - Отдел биологический (8)

Бюллетень Московского общества испытателей природы - Отдел геологический (8)

Вестник АПК (8)

Вестник вятского государственного гуманитарного университета (9)

Вестник Кемеровского государственного университета культуры и искусств (30)

Вестник Московского университета - Серия 1. Математика. Механика (8)

Вестник Московского университета - серия 10. Журналистика (8)

Вестник Московского университета - Серия 11. Право (7)

Вестник Московского университета - Серия 12. Политические науки (7)

Вестник Московского университета - Серия 13. Востоковедение (5)

Вестник Московского университета - Серия 14. Психология (6)

Вестник Московского университета - Серия 15. Вычислительная математика и кибернетика (6)

Вестник Московского университета - Серия 16. Биология (6)

Вестник Московского университета - Серия 17. Почвоведение (2)

Вестник Московского университета - Серия 18. Социология и политология (6)

Вестник Московского университета - Серия 19. Лингвистика и межкультурная коммуникация (6)

Вестник Московского университета - Серия 2. Химия (8)

Вестник Московского университета - Серия 20. Педагогическое образование (6)

Вестник Московского университета - Серия 21. Управление (государство и общество) (5)

Вестник Московского университета - Серия 22. Теория перевода (5)

Вестник Московского университета - Серия 23. Антропология (4)

Вестник Московского университета - Серия 24. Менеджмент (2)

Вестник Московского университета - Серия 3. Физика. Астрономия (8)

Вестник Московского университета - Серия 4. Геология (8)

Вестник Московского университета - Серия 5. География (8)

Вестник Московского университета - Серия 6. Экономика (7)

Вестник Московского университета - Серия 7. Философия (8)

Вестник Московского университета - Серия 8. История (8)

Вестник Московского университета - Серия 9. Филология (8)

Вестник оториноларингологии (4)

Вестник офтальмологии (4)

Вестник Томского государственного университета (12)

Вестник Томского государственного университета. Биология (4)

Вестник Томского государственного университета. История (6)

Вестник Томского государственного университета. Культурология и искусствоведение (4)

Вестник Томского государственного университета. Математика и механика (6)

Вестник Томского государственного университета. Право (4)

Вестник Томского государственного университета. Прикладная дискретная математика (4)

Вестник Томского государственного университета. Проблемы учета и финансов (4)

Вестник Томского государственного университета. Управление, вычислительная техника и информатика (4)

Вестник Томского государственного университета. Филология (6)

Вестник Томского государственного университета. Философия. Социология. Политология (4)

Вестник Томского государственного университета. Экономика (4)

Вестник Томского государственного университета. Язык и культура (4)

ВЕСТНИК. Московской гуманитарно-технической академии МГТА /Научно-практический журнал/№ 1-2 (45-46)/2019 (1)

Вопросы курортологии, физиотерапии и лечебной физкультуры (4)

Вопросы лексикографии (2)

Вопросы нейрохирургии им. Н.Н. Бурденко (4)

Восстановительные биотехнологии, профилактическая, цифровая и предиктивная медицина (2)

Горный информационно-аналитический бюллетень (35)

Дезинфекция. Антисептика (10)

Доказательная гастроэнтерология (2)

Естественные и технические науки (4)

Жизнь без опасностей. Здоровье. Профилактика. Долголетие (10)

Журнал «Прикладные экономические исследования» / № 6 (36) ноябрь 2020 г. (1)

Журнал неврологии и психиатрии им. С.С. Корсакова (18)

Записки Горного Института (26)

Известия ПГПУ им. В.Г. Белинского (26)

Исследование проблем экономики и финансов (3)

Исследования и практика в медицине (7)

Кардиологический вестник (2)

Кардиология и сердечно-сосудистая хирургия (4)

Клиническая дерматология (4)

Культурология (14)

Лабораторная служба (2)

Медицинские технологии (3)

Микроfinance+ (30)

Мир инноваций (4)

Молекулярная генетика, микробиология и вирусология (2)

Нанотехнологии и охрана здоровья (10)

Наука и Школа (24)

Научные ведомости Белгородского государственного университета: Гуманитарные науки (4)

Научные ведомости Белгородского государственного университета: Естественные науки (3)

Научные ведомости Белгородского государственного университета: История. Политология. Экономика. Информатика (7)

Научные ведомости Белгородского государственного университета: Математика Физика (2)

Научные ведомости Белгородского государственного университета: Медицина. Фармация (4)

Научные ведомости Белгородского государственного университета: Философия. Социология. Право (4)

Онкология. Журнал им. П.А. Герцена (4)

Оперативная хирургия и клиническая анатомия (2)

Педагогическая перспектива (18)

Пластическая хирургия и эстетическая медицина (3)

Политическая наука (13)

Преподаватель XXI век (32)

Прикладная аналитическая химия (5)

Прикладная информатика (46)

Прикладная микробиология (1)

Прикладная токсикология (5)

Прикладная эконометрика (26)

Прикладная энтомология (5)

Прикладные научные исследования: Сборник статей по материалам XXXIII Международной научно-практической конференции (1)

Пробелы в российском законодательстве (25)

Проблемы репродукции (4)

Проблемы управления в социальных системах (2)

Профилактическая медицина (8)

Развитие личности (12)

Российская ринология (2)

Российская стоматология (2)

Российский вестник акушера-гинеколога (4)

Российский журнал БОЛИ (2)

Россия и современный мир (13)

Систематические заметки по материалам Гербария Томского университета (2)

Современная конкуренция (41)

Современный педагогический взгляд (6)

Социально-политические науки (15)

Стоматология (4)

Студент. Аспирант. Исследователь (33)

Судебно-медицинская экспертиза (4)

Текст. Книга. Книгоиздание (2)

Уголовная юстиция (2)

Университет Культуры (4)

Флебология (3)

Хирургия. Журнал им. Н.И. Пирогова (11)

Человек и современный мир (15)

Эндоскопическая хирургия ONLINE (4)

Остаться в выбранном разделе

Назад к каталогу

Доказательство корректности программ / Пер. с англ. А. Н. Киселева

Доказательство корректности программ / Пер. с англ. А. Н. Киселева ISBN 978-5-93700-199-3

ISBN 978-5-93700-199-3

Авторы:

Рустан К., Лейно М.

Тип издания:

Практическое издание

Издательство:

Москва: ДМК Пресс

Год:

2024

Количество страниц:

530

Аннотация

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию. Книга написана простым и понятным языком, содержит множество забавных иллюстраций и практических упражнений.
Издание будет полезно студентам вузов, преподавателям, исследователям в области формальной верификации, а также сотрудникам компаний, применяющих дедуктивную верификацию на практике.

Библиографическое описание Скопировать библиографическое описание

Рустан К. Доказательство корректности программ / Пер. с англ. А. Н. Киселева / К. Рустан, М. Лейно. - Москва : ДМК Пресс, 2024. - 530 с. - ISBN 978-5-93700-199-3. - URL: http://new.ibooks.ru/bookshelf/399450/reading (дата обращения: 20.07.2025). - Текст: электронный.