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 Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Língua
Inglês
Inglês
Livro
Capa mole
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc...
Descrição completa
Código Libristo: 01563752
?
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
16.48
€
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001.The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.
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 Science Logic
Autor
Laurent Fribourg
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2001
Número de páginas
628
EAN
9783540425540
ISBN
3540425543
Código Libristo
01563752
Editoras
Springer, Berlin
Peso
875
Dimensões
155 x 235 x 32
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
>
Programação & engenharia informática
>
Compiladores e intérpretes
Informática & tecnologia da informação
>
Programação & engenharia informática
>
Linguagens de programação e escrita: generalidades
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
194.45
€
/
Capa mole
6.47
€
/
Capa mole
60.49
€
