Formal Models and Semantics

Bozzano G Luisa

2014 оны 6-р сар · 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.

Энэ электрон номыг үнэлэх

Санал бодлоо хэлнэ үү.

Унших мэдээлэл

Ухаалаг утас болон таблет

Андройд болон iPad/iPhone-д Google Ном Унших аппыг суулгана уу. Үүнийг таны бүртгэлд автоматаар синк хийх бөгөөд та хүссэн газраасаа онлайн эсвэл офлайнаар унших боломжтой.

Зөөврийн болон ердийн компьютер

Та компьютерийн веб хөтчөөр Google Play-с авсан аудио номыг сонсох боломжтой.

eReaders болон бусад төхөөрөмжүүд

Kobo Цахим ном уншигч гэх мэт e-ink төхөөрөмжүүд дээр уншихын тулд та файлыг татаад төхөөрөмж рүүгээ дамжуулах шаардлагатай болно. Файлуудаа дэмжигддэг Цахим ном уншигч руу шилжүүлэхийн тулд Тусламжийн төвийн дэлгэрэнгүй зааварчилгааг дагана уу.

Хууль бус контентыг мэдээлэх