Formal Models and Semantics

Bozzano G Luisa

черв. 2014 р. · Handbook of Theoretical Computer Science Книга 2 · Elsevier

Електронна книга

1280

Сторінки

Можна додати

Google не перевіряє оцінки й відгуки. Докладніше.

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

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, у веб-переглядачі на комп’ютері.

eReader та інші пристрої

Щоб користуватися пристроями для читання електронних книг із технологією E-ink, наприклад Kobo, вам знадобиться завантажити файл і перенести його на відповідний пристрій. Докладні вказівки з перенесення файлів на підтримувані пристрої можна знайти в Довідковому центрі.

Поскаржитися на заборонений контент