imagem não disponível
Computer Aided Verification

Computer Aided Verification

27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part Ii

idioma: inglês
Editor: Springer Nature B.V., julho de 2015 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro

Computer Aided Verification

27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part Ii

Propriedade Descrição
ISBN: 9783319216690
Editor: Springer Nature B.V.
Data de Lançamento: julho de 2015
Idioma: Inglês
Dimensões: 156 x 234 x 20 mm
Encadernação: Capa mole
Páginas: 488
Tipo de produto: Livro
Coleção: International And Comparative Criminology
Classificação Temática: Livros em Inglês > Outros
EAN: 9783319216690

LIVROS DA MESMA COLEÇÃO