Formal Models and Semantics

Bozzano G Luisa

juin 2014 · Handbook of Theoretical Computer Science Livre 2 · Elsevier

E-book

1280

Pages

Éligible

Les notes et avis ne sont pas vérifiés. En savoir plus

À propos de cet e-book

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.

Donner une note à cet e-book

Dites-nous ce que vous en pensez.

Informations sur la lecture

Smartphones et tablettes

Installez l'application Google Play Livres pour Android et iPad ou iPhone. Elle se synchronise automatiquement avec votre compte et vous permet de lire des livres en ligne ou hors connexion, où que vous soyez.

Ordinateurs portables et de bureau

Vous pouvez écouter les livres audio achetés sur Google Play à l'aide du navigateur Web de votre ordinateur.

Liseuses et autres appareils

Pour lire sur des appareils e-Ink, comme les liseuses Kobo, vous devez télécharger un fichier et le transférer sur l'appareil en question. Suivez les instructions détaillées du Centre d'aide pour transférer les fichiers sur les liseuses compatibles.

Signaler un contenu illicite