Formal Models and Semantics

Bozzano G Luisa

Juni 2014 · Handbook of Theoretical Computer Science Buch 2 · Elsevier

E-Book

1280

Seiten

Zulässig

Bewertungen und Rezensionen werden nicht geprüft Weitere Informationen

Über dieses 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.

Dieses E-Book bewerten

Deine Meinung ist gefragt!

Informationen zum Lesen

Smartphones und Tablets

Nachdem du die Google Play Bücher App für Android und iPad/iPhone installiert hast, wird diese automatisch mit deinem Konto synchronisiert, sodass du auch unterwegs online und offline lesen kannst.

Laptops und Computer

Im Webbrowser auf deinem Computer kannst du dir Hörbucher anhören, die du bei Google Play gekauft hast.

E-Reader und andere Geräte

Wenn du Bücher auf E-Ink-Geräten lesen möchtest, beispielsweise auf einem Kobo eReader, lade eine Datei herunter und übertrage sie auf dein Gerät. Eine ausführliche Anleitung zum Übertragen der Dateien auf unterstützte E-Reader findest du in der Hilfe.

Illegale Inhalte melden