Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

· ·
· Springer
El. knyga
325
Puslapiai
Įvertinimai ir apžvalgos nepatvirtinti. Sužinokite daugiau

Apie šią el. knygą

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.

Įvertinti šią el. knygą

Pasidalykite savo nuomone.

Skaitymo informacija

Išmanieji telefonai ir planšetiniai kompiuteriai
Įdiekite „Google Play“ knygų programą, skirtą „Android“ ir „iPad“ / „iPhone“. Ji automatiškai susinchronizuojama su paskyra ir jūs galite skaityti tiek prisijungę, tiek neprisijungę, kad ir kur būtumėte.
Nešiojamieji ir staliniai kompiuteriai
Galite klausyti garsinių knygų, įsigytų sistemoje „Google Play“ naudojant kompiuterio žiniatinklio naršyklę.
El. knygų skaitytuvai ir kiti įrenginiai
Jei norite skaityti el. skaitytuvuose, pvz., „Kobo eReader“, turite atsisiųsti failą ir perkelti jį į įrenginį. Kad perkeltumėte failus į palaikomus el. skaitytuvus, vadovaukitės išsamiomis pagalbos centro instrukcijomis.