Non ti piace? Non importa! Puoi restituire gli articoli fino a 30 giorni
Non puoi sbagliarti con un buono regalo. Con il buono regalo, il destinatario può scegliere qualsiasi prodotto della nostra offerta.
Fino a 30 giorni per il reso
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.
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?