Formal Models and Semantics

Bozzano G Luisa

iyn, 2014 · Handbook of Theoretical Computer Science 2-kitob · Elsevier

E-kitob

1288

Sahifalar soni

Yaroqli

Reytinglar va sharhlar tasdiqlanmagan Batafsil

Bu e-kitob haqida

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.

Bu e-kitobni baholang

Fikringizni bildiring.

Qayerda o‘qiladi

Smartfonlar va planshetlar

Android va iPad/iPhone uchun mo‘ljallangan Google Play Kitoblar ilovasini o‘rnating. U hisobingiz bilan avtomatik tazrda sinxronlanadi va hatto oflayn rejimda ham kitob o‘qish imkonini beradi.

Noutbuklar va kompyuterlar

Google Play orqali sotib olingan audiokitoblarni brauzer yordamida tinglash mumkin.

Kitob o‘qish uchun mo‘ljallangan qurilmalar

Kitoblarni Kobo e-riderlar kabi e-siyoh qurilmalarida oʻqish uchun faylni yuklab olish va qurilmaga koʻchirish kerak. Fayllarni e-riderlarga koʻchirish haqida batafsil axborotni Yordam markazidan olishingiz mumkin.

Noqonuniy kontent deb xabar berish