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 г. · 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.

Оценете ја е-книгава

Кажете ни што мислите.

Информации за читање

Паметни телефони и таблети

Инсталирајте ја апликацијата Google Play Books за Android и iPad/iPhone. Автоматски се синхронизира со сметката и ви овозможува да читате онлајн или офлајн каде и да сте.

Лаптопи и компјутери

Може да слушате аудиокниги купени од Google Play со користење на веб-прелистувачот на компјутерот.

Е-читачи и други уреди

За да читате на уреди со е-мастило, како што се е-читачите Kobo, ќе треба да преземете датотека и да ја префрлите на уредот. Следете ги деталните упатства во Центарот за помош за префрлање на датотеките на поддржани е-читачи.

Пријави незаконски содржини