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

02.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 Книги за Android и iPad/iPhone. То автоматично се синхронизира с профила ви и ви позволява да четете онлайн или офлайн, където и да сте.

Лаптопи и компютри

Можете да слушате закупените от Google Play аудиокниги посредством уеб браузъра на компютъра си.

Електронни четци и други устройства

За да четете на устройства с електронно мастило, като например електронните четци от Kobo, трябва да изтеглите файл и да го прехвърлите на устройството си. Изпълнете подробните инструкции в Помощния център, за да прехвърлите файловете в поддържаните електронни четци.

Подаване на сигнал за незаконно съдържание