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 књиге за Android и iPad/iPhone. Аутоматски се синхронизује са налогом и омогућава вам да читате онлајн и офлајн где год да се налазите.

Лаптопови и рачунари

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

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

Да бисте читали на уређајима које користе е-мастило, као што су Kobo е-читачи, треба да преузмете фајл и пренесете га на уређај. Пратите детаљна упутства из центра за помоћ да бисте пренели фајлове у подржане е-читаче.

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