Formal Models and Semantics

Bozzano G Luisa

kesä 2014 · Handbook of Theoretical Computer Science Kirja 2 · Elsevier

E-kirja

1280

sivuja

Kelvollinen

Arvioita ja arvosteluja ei ole vahvistettu Lue lisää

Tietoa tästä e-kirjasta

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.

Arvioi tämä e-kirja

Kerro meille mielipiteesi.

Tietoa lukemisesta

Älypuhelimet ja tabletit

Asenna Google Play Kirjat ‑sovellus Androidille tai iPadille/iPhonelle. Se synkronoituu automaattisesti tilisi kanssa, jolloin voit lukea online- tai offline-tilassa missä tahansa oletkin.

Kannettavat ja pöytätietokoneet

Voit kuunnella Google Playsta ostettuja äänikirjoja tietokoneesi selaimella.

Lukulaitteet ja muut laitteet

Jos haluat lukea kirjoja sähköisellä lukulaitteella, esim. Kobo-lukulaitteella, sinun täytyy ladata tiedosto ja siirtää se laitteellesi. Siirrä tiedostoja tuettuihin lukulaitteisiin seuraamalla ohjekeskuksen ohjeita.

Ilmoita laittomasta sisällöstä