Formal Models and Semantics

Bozzano G Luisa

jun. 2014 · Handbook of Theoretical Computer Science 2. knjiga · Elsevier

E-knjiga

1280

Strani

Primerno

Ocene in mnenja niso preverjeni. Več o tem

O tej e-knjigi

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.

Ocenite to e-knjigo

Povejte nam svoje mnenje.

Informacije o branju

Pametni telefoni in tablični računalniki

Namestite aplikacijo Knjige Google Play za Android in iPad/iPhone. Samodejno se sinhronizira z računom in kjer koli omogoča branje s povezavo ali brez nje.

Prenosni in namizni računalniki

Poslušate lahko zvočne knjige, ki ste jih kupili v Googlu Play v brskalniku računalnika.

Bralniki e-knjig in druge naprave

Če želite brati v napravah, ki imajo zaslone z e-črnilom, kot so e-bralniki Kobo, morate prenesti datoteko in jo kopirati v napravo. Podrobna navodila za prenos datotek v podprte bralnike e-knjig najdete v centru za pomoč.

Prijava nezakonite vsebine