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. febr. · Springer

E-könyv

325

Oldalak száma

Az értékelések és vélemények nincsenek ellenőrizve További információ

Információk az e-könyvről

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.

E-könyv értékelése

Mondd el a véleményedet.

Olvasási információk

Okostelefonok és táblagépek

Telepítsd a Google Play Könyvek alkalmazást Android- vagy iPad/iPhone eszközre. Az alkalmazás automatikusan szinkronizálódik a fiókoddal, így bárhol olvashatsz online és offline állapotban is.

Laptopok és számítógépek

A Google Playen vásárolt hangoskönyveidet a számítógép böngészőjében is meghallgathatod.

E-olvasók és más eszközök

E-tinta alapú eszközökön (például Kobo e-könyv-olvasón) való olvasáshoz le kell tölteni egy fájlt, és átvinni azt a készülékre. A Súgó részletes utasításait követve lehet átvinni a fájlokat a támogatott e-könyv-olvasókra.

Jogsértő tartalom bejelentése