Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Francesco Logozzo · Doron A. Peled · Leonore D. Zuck

2008 оны 2-р сар · Springer

Электрон ном

325

Хуудас

Үнэлгээ болон шүүмжийг баталгаажуулаагүй Нэмэлт мэдээлэл авах

Энэ электрон номын тухай

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

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

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

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

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

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

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

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

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

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

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