Formal Models and Semantics

Bozzano G Luisa

Jun 2014 · Handbook of Theoretical Computer Science Ibhuku elingu-2 · Elsevier

I-Ebook

1280

Amakhasi

Kufanelekile

Izilinganiso nezibuyekezo aziqinisekisiwe Funda Kabanzi

Mayelana nale ebook

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.

Nikeza le ebook isilinganiso

Sitshele ukuthi ucabangani.

Ulwazi lokufunda

Amasmathifoni namathebulethi

Faka uhlelo lokusebenza lwe-Google Play Amabhuku lwe-Android ne-iPad/iPhone. Livunyelaniswa ngokuzenzakalela ne-akhawunti yakho liphinde likuvumele ukuthi ufunde uxhunywe ku-inthanethi noma ungaxhunyiwe noma ngabe ukuphi.

Amakhompyutha aphathekayo namakhompyutha

Ungalalela ama-audiobook athengwe ku-Google Play usebenzisa isiphequluli sewebhu sekhompuyutha yakho.

Ama-eReaders namanye amadivayisi

Ukuze ufunde kumadivayisi e-e-ink afana ne-Kobo eReaders, uzodinga ukudawuniloda ifayela futhi ulidlulisele kudivayisi yakho. Landela imiyalelo Yesikhungo Sosizo eningiliziwe ukuze udlulise amafayela kuma-eReader asekelwayo.

Bika okuqukethwe okungekho emthethweni