Formal Models and Semantics

Bozzano G Luisa

июнь 2014 г. · Handbook of Theoretical Computer Science Книга 2 · Elsevier

Электронная книга

1280

Количество страниц

Можно добавить

Оценки и отзывы не проверены. Подробнее…

Об электронной книге

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Оцените электронную книгу

Поделитесь с нами своим мнением.

Где читать книги

Смартфоны и планшеты

Установите приложение Google Play Книги для Android или iPad/iPhone. Оно синхронизируется с вашим аккаунтом автоматически, и вы сможете читать любимые книги онлайн и офлайн где угодно.

Ноутбуки и настольные компьютеры

Слушайте аудиокниги из Google Play в веб-браузере на компьютере.

Устройства для чтения книг

Чтобы открыть книгу на таком устройстве для чтения, как Kobo, скачайте файл и добавьте его на устройство. Подробные инструкции можно найти в Справочном центре.

Сообщить о незаконном контенте