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 Китептер колдонмосун орнотуңуз. Ал автоматтык түрдө аккаунтуңуз менен шайкештелип, кайда болбоңуз, онлайнда же оффлайнда окуу мүмкүнчүлүгүн берет.

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

Google Play'ден сатылып алынган аудиокитептерди компьютериңиздин веб браузеринен уга аласыз.

eReaders жана башка түзмөктөр

Kobo eReaders сыяктуу электрондук сыя түзмөктөрүнөн окуу үчүн, файлды жүктөп алып, аны түзмөгүңүзгө өткөрүшүңүз керек. Файлдарды колдоого алынган eReaders'ке өткөрүү үчүн Жардам борборунун нускамаларын аткарыңыз.

Мыйзамсыз нерсе жөнүндө кабарлоо