Программирование

Сергей Яхонтов — Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ

В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные [...]

Никлаус Вирт — Построение компиляторов

Книга известного специалиста в области информатики Никлауса Вирта написана по материалам его лекций по вводному курсу проектирования компиляторов. На примере простого языка Оберон-0 [...]

Никлаус Вирт, Юрг Гуткнехт — Разработка операционной системы и компилятора. Проект Оберон

В книге описан проект Оберон, представляющий полную программную среду для современной рабочей станции. Главная цель, поставленная авторами, – спроектировать и реализовать всю систему с [...]

Кишори Шаран — Java 9. Полный обзор нововведений. Для быстрого ознакомления и миграции

В книге рассмотрены все нововведения в Java 9. Приведена разработка приложений с использованием системы модулей. Описаны измененная модульная структура образа среды выполнения JDK/JRE, новые [...]

Юрий Магда — Современные микроконтроллеры. Архитектура, программирование, разработка устройств

В книге рассматривается широкий круг вопросов, связанных с практическим применением популярных микроконтроллеров 8051 и их расширений в системах управления и контроля. Основной упор сделан [...]
1 96 97 98 99 100 102
Яндекс.Метрика