Formal Models and Semantics

Bozzano G Luisa

iyn 2014 · Handbook of Theoretical Computer Science Kitab 2 · Elsevier

E-kitab

1280

Səhifələr

Uyğundur

Reytinqlər və rəylər doğrulanmır Ətraflı Məlumat

Bu e-kitab haqqında

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-kitabı qiymətləndirin

Fikirlərinizi bizə deyin

Məlumat oxunur

Smartfonlar və planşetlər

Android və iPad/iPhone üçün Google Play Kitablar tətbiqini quraşdırın. Bu hesabınızla avtomatik sinxronlaşır və harada olmağınızdan asılı olmayaraq onlayn və oflayn rejimdə oxumanıza imkan yaradır.

Noutbuklar və kompüterlər

Kompüterinizin veb brauzerini istifadə etməklə Google Play'də alınmış audio kitabları dinləyə bilərsiniz.

eReader'lər və digər cihazlar

Kobo eReaders kimi e-mürəkkəb cihazlarında oxumaq üçün faylı endirməli və onu cihazınıza köçürməlisiniz. Faylları dəstəklənən eReader'lərə köçürmək üçün ətraflı Yardım Mərkəzi təlimatlarını izləyin.

Qanunsuz kontenti bildirin