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 Китептер колдонмосун орнотуңуз. Ал автоматтык түрдө аккаунтуңуз менен шайкештелип, кайда болбоңуз, онлайнда же оффлайнда окуу мүмкүнчүлүгүн берет.

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

Google Play'ден сатылып алынган аудиокитептерди компьютериңиздин веб браузеринен уга аласыз.

eReaders жана башка түзмөктөр

Kobo eReaders сыяктуу электрондук сыя түзмөктөрүнөн окуу үчүн, файлды жүктөп алып, аны түзмөгүңүзгө өткөрүшүңүз керек. Файлдарды колдоого алынган eReaders'ке өткөрүү үчүн Жардам борборунун нускамаларын аткарыңыз.

Мыйзамсыз нерсе жөнүндө кабарлоо