Formal Models and Semantics

Bozzano G Luisa

06.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, трябва да изтеглите файл и да го прехвърлите на устройството си. Изпълнете подробните инструкции в Помощния център, за да прехвърлите файловете в поддържаните електронни четци.

Подаване на сигнал за незаконно съдържание