Formal Models and Semantics

Bozzano G Luisa

juny del 2014 · Handbook of Theoretical Computer Science Llibre 2 · Elsevier

Llibre electrònic

1288

Pàgines

Apte

No es verifiquen les puntuacions ni les ressenyes Més informació

Sobre aquest llibre

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.

Puntua aquest llibre electrònic

Dona'ns la teva opinió.

Informació de lectura

Telèfons intel·ligents i tauletes

Instal·la l'aplicació Google Play Llibres per a Android i per a iPad i iPhone. Aquesta aplicació se sincronitza automàticament amb el compte i et permet llegir llibres en línia o sense connexió a qualsevol lloc.

Ordinadors portàtils i ordinadors de taula

Pots escoltar els audiollibres que has comprat a Google Play amb el navegador web de l'ordinador.

Lectors de llibres electrònics i altres dispositius

Per llegir en dispositius de tinta electrònica, com ara lectors de llibres electrònics Kobo, hauràs de baixar un fitxer i transferir-lo al dispositiu. Segueix les instruccions detallades del Centre d'ajuda per transferir els fitxers a lectors de llibres electrònics compatibles.

Informa de contingut il·legal