Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceeding (ISBN: 9783662460801)

Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceeding (ISBN: 9783662460801)

Ofertele pentru produsul

 

Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceeding (9783662460801)

470,00 RON
+ 13,00 RON costul livrarii
Livrare: max 1 sapt.
spre magazin »
enbook.ro
Descrierea produsului
Autor Akash Lal, Deepak D'Souza, Kim Gulstrand Larsen

Ați găsit greşeli în descrierea produsului? Vă rugăm să ne trimiteți o notificare!

Paperback. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis,
Păreri
Intrebari&Raspunsuri

Prețurile și informațiile de pe paginile noastre sunt furnizate de magazinele partenere și au caracter informativ, unele erori pot apărea. Imaginile produselor au caracter informativ, uneori pot include niște accesorii care nu sunt mereu incluse în pachetul de baza. Informațiile aferente produsului (imagine, descriere, preț) se pot schimba fără notificare prealabilă. Compari.ro nu își asumă responsabilitate pentru eventualele greșeli.