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.

Осы электрондық кітапты бағалаңыз.

Пікіріңізбен бөлісіңіз.

Ақпаратты оқу

Смартфондар мен планшеттер

Android және iPad/iPhone үшін Google Play Books қолданбасын орнатыңыз. Ол аккаунтпен автоматты түрде синхрондалады және қайда болсаңыз да, онлайн не офлайн режимде оқуға мүмкіндік береді.

Ноутбуктар мен компьютерлер

Google Play дүкенінде сатып алған аудиокітаптарды компьютердің браузерінде тыңдауыңызға болады.

eReader және басқа құрылғылар

Kobo eReader сияқты E-ink технологиясымен жұмыс істейтін құрылғылардан оқу үшін файлды жүктеп, оны құрылғыға жіберу керек. Қолдау көрсетілетін eReader құрылғысына файл жіберу үшін Анықтама орталығының нұсқауларын орындаңыз.

Заңсыз контент туралы хабарлау