Formal Models and Semantics

Bozzano G Luisa

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

E-knjiga

1280

Broj stranica

Prihvatljiva

Ocjene i recenzije nisu potvrđene Saznajte više

O ovoj e-knjizi

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.

Ocijenite ovu e-knjigu

Recite nam šta mislite.

Informacije o čitanju

Pametni telefoni i tableti

Instalirajte aplikaciju Google Play Knjige za Android i iPad/iPhone uređaje. Aplikacija se automatski sinhronizira s vašim računom i omogućava vam čitanje na mreži ili van nje gdje god da se nalazite.

Laptopi i računari

Audio knjige koje su kupljene na Google Playu možete slušati pomoću web preglednika na vašem računaru.

Elektronički čitači i ostali uređaji

Da čitate na e-ink uređajima kao što su Kobo e-čitači, morat ćete preuzeti fajl i prenijeti ga na uređaj. Pratite detaljne upute Centra za pomoć da prenesete fajlove na podržane e-čitače.

Prijavite nezakonit sadržaj