Formal Models and Semantics

Bozzano G Luisa

Hun 2014 · Handbook of Theoretical Computer Science Aklat 2 · Elsevier

E-book

1280

Mga Page

Kwalipikado

Hindi na-verify ang mga rating at review Matuto Pa

Tungkol sa ebook na ito

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.

I-rate ang e-book na ito

Ipalaam sa amin ang iyong opinyon.

Impormasyon sa pagbabasa

Mga smartphone at tablet

I-install ang Google Play Books app para sa Android at iPad/iPhone. Awtomatiko itong nagsi-sync sa account mo at nagbibigay-daan sa iyong magbasa online o offline nasaan ka man.

Mga laptop at computer

Maaari kang makinig sa mga audiobook na binili sa Google Play gamit ang web browser ng iyong computer.

Mga eReader at iba pang mga device

Para magbasa tungkol sa mga e-ink device gaya ng mga Kobo eReader, kakailanganin mong mag-download ng file at ilipat ito sa iyong device. Sundin ang mga detalyadong tagubilin sa Help Center para mailipat ang mga file sa mga sinusuportahang eReader.

Mag-ulat ng ilegal na content