Formal Models and Semantics

Bozzano G Luisa

2014 ж. мау. · Handbook of Theoretical Computer Science 2-кітап · Elsevier

Электрондық кітап

1280

бет

Жарамды

Рейтингілер мен пікірлер тексерілмеген. Толығырақ

Осы электрондық кітап туралы ақпарат

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.

Осы электрондық кітапты бағалаңыз.

Пікіріңізбен бөлісіңіз.

Ақпаратты оқу

Смартфондар мен планшеттер

Android және iPad/iPhone үшін Google Play Books қолданбасын орнатыңыз. Ол аккаунтпен автоматты түрде синхрондалады және қайда болсаңыз да, онлайн не офлайн режимде оқуға мүмкіндік береді.

Ноутбуктар мен компьютерлер

Google Play дүкенінде сатып алған аудиокітаптарды компьютердің браузерінде тыңдауыңызға болады.

eReader және басқа құрылғылар

Kobo eReader сияқты E-ink технологиясымен жұмыс істейтін құрылғылардан оқу үшін файлды жүктеп, оны құрылғыға жіберу керек. Қолдау көрсетілетін eReader құрылғысына файл жіберу үшін Анықтама орталығының нұсқауларын орындаңыз.

Заңсыз контент туралы хабарлау