Byron Cook & Andreas Podelski 
Verification, Model Checking, and Abstract Interpretation [PDF ebook] 
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Apoio
€57.99
Métodos de Pagamento
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● ISBN 9783540697381 ● Editor Byron Cook & Andreas Podelski ● Editora Springer Berlin Heidelberg ● Publicado 2007 ● Carregável 6 vezes ● Moeda EUR ● ID 6319831 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

16.820 Ebooks nesta categoria