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
Língua
Inglês
Inglês
Livro
Capa mole
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st...
Descrição completa
Código Libristo: 24027842
?
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
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented togeth
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
Autor
Isil Dillig, Serdar Tasiran
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2019
Número de páginas
549
EAN
9783030255428
ISBN
3030255425
Código Libristo
24027842
Editoras
Springer Nature Switzerland AG
Peso
866
Dimensões
155 x 235 x 31
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
/
Capa mole
12.32
€
