Formal Models and Semantics

Bozzano G Luisa

Jun 2014 · Handbook of Theoretical Computer Science Buku 2 · Elsevier

e-Buku

1280

Halaman

Layak

Rating dan ulasan tidak disahkan Ketahui Lebih Lanjut

Perihal e-buku ini

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.

Berikan rating untuk e-Buku ini

Beritahu kami pendapat anda.

Maklumat pembacaan

Telefon pintar dan tablet

Pasang apl Google Play Books untuk Android dan iPad/iPhone. Apl ini menyegerak secara automatik dengan akaun anda dan membenarkan anda membaca di dalam atau luar talian, walau di mana jua anda berada.

Komputer riba dan komputer

Anda boleh mendengar buku audio yang dibeli di Google Play menggunakan penyemak imbas web komputer anda.

eReader dan peranti lain

Untuk membaca pada peranti e-dakwat seperti Kobo eReaders, anda perlu memuat turun fail dan memindahkan fail itu ke peranti anda. Sila ikut arahan Pusat Bantuan yang terperinci untuk memindahkan fail ke e-Pembaca yang disokong.

Laporkan kandungan haram