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

únor 2008 · Springer

E‑kniha

325

Stránky

Hodnocení a recenze nejsou ověřeny Další informace

Podrobnosti o e‑knize

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.

Ohodnotit e‑knihu

Sdělte nám, co si myslíte.

Informace o čtení

Telefony a tablety

Nainstalujte si aplikaci Knihy Google Play pro Android a iPad/iPhone. Aplikace se automaticky synchronizuje s vaším účtem a umožní vám číst v režimu online nebo offline, ať jste kdekoliv.

Notebooky a počítače

Audioknihy zakoupené na Google Play můžete poslouchat pomocí webového prohlížeče v počítači.

Čtečky a další zařízení

Pokud chcete číst knihy ve čtečkách elektronických knih, jako např. Kobo, je třeba soubor stáhnout a přenést do zařízení. Při přenášení souborů do podporovaných čteček elektronických knih postupujte podle podrobných pokynů v centru nápovědy.

Nahlášení nezákonného obsahu