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
6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Língua
Inglês
Inglês
Livro
Capa mole
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S...
Descrição completa
Código Libristo: 05274394
?
111 b
111 b
46.03
€
Armazenamento externo
Envio em 5-8 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
29.94
€
/
Capa mole
17.70
€
/
Capa mole
27.61
€
/
Capa mole
20.33
€
/
Capa mole
8.79
€
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
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
David L. Dill
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
1994
Número de páginas
486
EAN
9783540581796
ISBN
3540581790
Código Libristo
05274394
Peso
1520
Dimensões
155 x 235 x 26
Categorias
Tecnologia, Engenharia & Agricultura
>
Eletrónica & engenharia das comunicações
>
Engenharia eletrónica
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
/
Capa mole
15.27
€
