Formal Models and Semantics

Bozzano G Luisa

cze 2014 · Handbook of Theoretical Computer Science Część 2 · Elsevier

E-book

1280

Strony

Odpowiednia

Oceny i opinie nie są weryfikowane. Więcej informacji

Informacje o e-booku

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.

Oceń tego e-booka

Podziel się z nami swoją opinią.

Informacje o czytaniu

Smartfony i tablety

Zainstaluj aplikację Książki Google Play na Androida i iPada/iPhone'a. Synchronizuje się ona automatycznie z kontem i pozwala na czytanie w dowolnym miejscu, w trybie online i offline.

Laptopy i komputery

Audiobooków kupionych w Google Play możesz słuchać w przeglądarce internetowej na komputerze.

Czytniki e-booków i inne urządzenia

Aby czytać na e-papierze, na czytnikach takich jak Kobo, musisz pobrać plik i przesłać go na swoje urządzenie. Aby przesłać pliki na obsługiwany czytnik, postępuj zgodnie ze szczegółowymi instrukcjami z Centrum pomocy.

Zgłaszanie nielegalnych treści