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

lut 2008 · Springer

E-book

325

Strony

Oceny i opinie nie są weryfikowane. Więcej informacji

Informacje o e-booku

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.

Oceń tego e-booka

Podziel się z nami swoją opinią.

Informacje o czytaniu

Smartfony i tablety

Zainstaluj aplikację Książki Google Play na Androida i iPada/iPhone'a. Synchronizuje się ona automatycznie z kontem i pozwala na czytanie w dowolnym miejscu, w trybie online i offline.

Laptopy i komputery

Audiobooków kupionych w Google Play możesz słuchać w przeglądarce internetowej na komputerze.

Czytniki e-booków i inne urządzenia

Aby czytać na e-papierze, na czytnikach takich jak Kobo, musisz pobrać plik i przesłać go na swoje urządzenie. Aby przesłać pliki na obsługiwany czytnik, postępuj zgodnie ze szczegółowymi instrukcjami z Centrum pomocy.

Zgłaszanie nielegalnych treści