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

Şub 2008 · Springer

E-kitap

325

Sayfa

Puanlar ve yorumlar doğrulanmaz Daha Fazla Bilgi

Bu e-kitap hakkında

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.

Bu e-kitaba puan verin

Düşüncelerinizi bizimle paylaşın.

Okuma bilgileri

Akıllı telefonlar ve tabletler

Android ve iPad/iPhone için Google Play Kitaplar uygulamasını yükleyin. Bu uygulama, hesabınızla otomatik olarak senkronize olur ve nerede olursanız olun çevrimiçi veya çevrimdışı olarak okumanıza olanak sağlar.

Dizüstü bilgisayarlar ve masaüstü bilgisayarlar

Bilgisayarınızın web tarayıcısını kullanarak Google Play'de satın alınan sesli kitapları dinleyebilirsiniz.

e-Okuyucular ve diğer cihazlar

Kobo eReader gibi e-mürekkep cihazlarında okumak için dosyayı indirip cihazınıza aktarmanız gerekir. Dosyaları desteklenen e-kitap okuyuculara aktarmak için lütfen ayrıntılı Yardım Merkezi talimatlarını uygulayın.

Yasa dışı içeriği bildirme