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
12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings
Língua
Inglês
Inglês
Livro
Capa mole
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide...
Descrição completa
Código Libristo: 01567506
?
240 b
240 b
99.04
€
Armazenamento externalo em pequenas quantidades
Envio em 13-18 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
11.02
€
/
Capa mole
117.15
€
/
Capa mole
58.17
€
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.
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
E. Allen Emerson, A. Prasad Sistla
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2000
Número de páginas
590
EAN
9783540677703
ISBN
3540677704
Código Libristo
01567506
Editoras
Springer, Berlin
Peso
894
Dimensões
155 x 235 x 30
Categorias
Tecnologia, Engenharia & Agricultura
>
Eletrónica & engenharia das comunicações
>
Engenharia eletrónica
>
Engenharia de controlos automáticos
>
Robótica
Informática & tecnologia da informação
>
Ciência informática
>
Inteligência artificial
>
Sistemas especialistas/sistemas baseados no conhecimento
Informática & tecnologia da informação
>
Programação & engenharia informática
>
Engenharia de programas
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
105.22
€
/
Livro de capa dura
91.86
€
