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

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

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

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

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

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

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

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

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

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

В книге рассматривается широкий круг вопросов, связанных с практическим применением популярных микроконтроллеров 8051 и их расширений в системах управления и контроля. Основной упор сделан [...]

Брюс Тейт – Семь языков за семь недель. Практическое руководство по изучению языков программирования

Вместе с семью языками программирования вы исследуете наиболее важные из современных моделей программирования. Вы познакомитесь с динамической типизацией, которая делает языки Ruby, Python и Perl [...]
1 … 99 100 101 102 103 … 105
Яндекс.Метрика

Библиотека электронных книг "Семь Книг" - admin@7books.ru