Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.
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
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.
Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Língua
Inglês
Inglês
Livro
Capa mole
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co...
Descrição completa
Código Libristo: 02075327
?
222 b
222 b
91.86
€
Armazenamento externo
Envio em 5-8 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
13.24
€
/
Livro de capa dura
27.81
€
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§
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
Natasha Sharygina, Helmut Veith
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2013
Número de páginas
1015
EAN
9783642397981
ISBN
3642397980
Código Libristo
02075327
Peso
1539
Dimensões
155 x 235 x 56
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
131.22
€
