Gerard Berry & Hubert Comon 
Computer Aided Verification [PDF ebook] 
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Apoio
€115.37
Métodos de Pagamento
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● ISBN 9783540445852 ● Editor Gerard Berry & Hubert Comon ● Editora Springer Berlin Heidelberg ● Publicado 2003 ● Carregável 3 vezes ● Moeda EUR ● ID 6318187 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

16.637 Ebooks nesta categoria