Formal Models and Semantics

Bozzano G Luisa

jun 2014 · Handbook of Theoretical Computer Science Boek 2 · Elsevier

E-boek

1280

Pagina's

Geschikt

Beoordelingen en reviews worden niet geverifieerd. Meer informatie

Over dit e-boek

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.

Dit e-boek beoordelen

Geef ons je mening.

Informatie over lezen

Smartphones en tablets

Installeer de Google Play Boeken-app voor Android en iPad/iPhone. De app wordt automatisch gesynchroniseerd met je account en met de app kun je online of offline lezen, waar je ook bent.

Laptops en computers

Via de webbrowser van je computer kun je luisteren naar audioboeken die je hebt gekocht op Google Play.

eReaders en andere apparaten

Als je wilt lezen op e-ink-apparaten zoals e-readers van Kobo, moet je een bestand downloaden en overzetten naar je apparaat. Volg de gedetailleerde instructies in het Helpcentrum om de bestanden over te zetten op ondersteunde e-readers.

Illegale content melden