Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios.
Crie uma conta gratuitamente
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Língua
Inglês
Inglês
Livro
Capa mole
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int...
Descrição completa
Código Libristo: 09372112
?
111 b
111 b
45.97
€
Armazenamento externo
Envio em 5-8 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
36.57
€
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Computer Aided Verification
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2015
Número de páginas
469
EAN
9783319216676
ISBN
3319216678
Código Libristo
09372112
Editoras
Springer International Publishing AG
Peso
7314
Dimensões
155 x 235 x 25
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
15.75
€
