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
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Proof Engines for the Analysis of Hybrid Discrete-continuous Systems
Língua
Inglês
Inglês
Livro
Capa mole
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver...
Descrição completa
Código Libristo: 01782369
?
111 b
111 b
46.07
€
Armazenamento externo
Envio em 5-8 dias
Política de devolução de 30 dias
Os clientes também compraram
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.
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
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Autor
Christian Herde
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2011
Número de páginas
163
EAN
9783834814944
ISBN
3834814946
Código Libristo
01782369
Editoras
Springer Fachmedien Wiesbaden
Peso
228
Dimensões
148 x 210 x 9
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
91.95
€
/
Livro de capa dura
18.22
€
/
Capa mole
46.07
€
