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

feb 2008 · Springer

E-boek

325

Pagina's

Beoordelingen en reviews worden niet geverifieerd. Meer informatie

Over dit e-boek

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.

Dit e-boek beoordelen

Geef ons je mening.

Informatie over lezen

Smartphones en tablets

Installeer de Google Play Boeken-app voor Android en iPad/iPhone. De app wordt automatisch gesynchroniseerd met je account en met de app kun je online of offline lezen, waar je ook bent.

Laptops en computers

Via de webbrowser van je computer kun je luisteren naar audioboeken die je hebt gekocht op Google Play.

eReaders en andere apparaten

Als je wilt lezen op e-ink-apparaten zoals e-readers van Kobo, moet je een bestand downloaden en overzetten naar je apparaat. Volg de gedetailleerde instructies in het Helpcentrum om de bestanden over te zetten op ondersteunde e-readers.

Illegale content melden