Formal Models and Semantics

Bozzano G Luisa

červen 2014 · Handbook of Theoretical Computer Science Kniha 2 · Elsevier

E‑kniha

1280

Stránky

Vhodná

Hodnocení a recenze nejsou ověřeny Další informace

Podrobnosti o e‑knize

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.

Ohodnotit e‑knihu

Sdělte nám, co si myslíte.

Informace o čtení

Telefony a tablety

Nainstalujte si aplikaci Knihy Google Play pro Android a iPad/iPhone. Aplikace se automaticky synchronizuje s vaším účtem a umožní vám číst v režimu online nebo offline, ať jste kdekoliv.

Notebooky a počítače

Audioknihy zakoupené na Google Play můžete poslouchat pomocí webového prohlížeče v počítači.

Čtečky a další zařízení

Pokud chcete číst knihy ve čtečkách elektronických knih, jako např. Kobo, je třeba soubor stáhnout a přenést do zařízení. Při přenášení souborů do podporovaných čteček elektronických knih postupujte podle podrobných pokynů v centru nápovědy.

Nahlášení nezákonného obsahu