Fale com o seu livreiro
Rede de livrarias
A nossa história
Reserva/ ver stock na livraria
Levantamento na livraria
Conexões literárias
Reserva de livros
Levantamento em livraria
Blogue
Cartão Leitor Bertrand
Agenda cultural
Listas de desejos
Comunidade Bertrand
Afiliados
As nossas livrarias
Login
Novo registo
Dados pessoais
Área de cliente
Encomendas
Biblio (ebooks e audiolivros)
Lista de desejos
Trocas e devoluções
Ajuda
Logout
VALES DE COMPRA
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
Compressed Data Structures For Strings
de Rossano Venturini
Constraints Meet Concurrency
de Jacopo Mauro
Analysis And Enumeration
de Andrea Marino
Type Systems For Distributed Programs: Components And Sessions
de Ornela Dardha
O seu livreiro telefona-lhe
Telefone-nos
210 305 590
Envie-nos um WhatsApp
915 297 188
Envie-nos um email
[email protected]
Para que lhe sobre mais tempo para as suas leituras.
O seu nome e e-mail:
Vou partilhar com...
Neste momento, este artigo está indisponível no fornecedor. Deixe-nos o seu e-mail para que os nossos livreiros o/a possam avisar assim que fique disponível.
O seu pedido foi registado
Caso este produto fique disponível novamente, será avisado por email
Obrigado por partilhar connosco a sua opinião.
O seu comentário só ficará visível após validação.
- Açores e a Madeira:
Portes grátis:
» Em todas as encomendas: se escolher levantar a sua encomenda numa livraria Bertrand;
» Em todas as encomendas de valor igual ou superior a 16 €:
- se escolher receber a sua encomenda numa morada à sua escolha, através da forma de envio 'Entrega na sua morada' (pode selecionar uma janela horária ou a entrega ao sábado, o que implica o pagamento de uma taxa de serviço);
- ou recebê-la num ponto de recolha;
Açores e a Madeira:
Promoção válida para encomendas de livros não escolares registadas até 31/12/2026. Descontos ou vantagens não acumuláveis com outras promoções.
Será entregue na data de lançamento se for pago até 48h úteis antes, para moradas de Portugal Continental.
No caso de um livro importado (livros editados noutro país), poderão verificar-se atrasos no fornecimento que impeçam a entrega na data de lançamento.
Estes artigos, especialmente as edições mais antigas, estão sujeitos à confirmação de preço e disponibilidade de stock no fornecedor..
- eBooks para leitura na Biblio Bertrand;
- eBooks para leitura no Adobe Digital Editions (ADE) - na Área de Cliente » Os meus eBooks para ADE.
- Audiolivros - na Biblio Bertrand.
1 - Clique em 'RESERVAR NA LIVRARIA';
2 - Escolha a livraria da sua preferência;
3 - Aguarde a nossa confirmação da reserva (por e-mail);
4 - Levante o seu livro na livraria selecionada.