0 ratings
Número do item:
247218665
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Número do item:
247218665
R$ 671
Detalhes do preço
Excluindo custos de envio e alfandegários ( Os custos de envio e alfandegários serão calculados no checkout )
*Todos os itens serão importados de EUA
0 ratings
Escreva uma avaliação
Em estoque
Importado de loja dos USA
Qtd.:
Restam apenas 99 itens em estoque.
Peça agora e receba por volta de Quarta, Outubro 14
Transação Segura
A Ubuy trabalha para proteger sua segurança e privacidade. Nosso sistema avançado de segurança de pagamentos garante a confidencialidade ao criptografar suas informações durante a transmissão usando os protocolos AES (Advanced Encryption Standards) e SSL (Secure Socket Layer). Seus dados de pagamento estão 100% seguros, pois não compartilhamos suas informações com vendedores terceiros.
Nossos principais parceiros logísticos
Envio
rápido
Devolução
gratuita*
Embalagem segura
Produtos 100% originais
Conformidade com PCI DSS
Certificado ISO 27001
Detalhes do produto
- This booklet presents a reasonably self-contained theory of predicate trans- former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self- contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication.
| Book format | Paperback |
| Fiction/nonfiction | Non-Fiction |
| Genre | Textbooks |
| Publication date | September, 2011 |
| Pages | 220 |
| Subgenre | Logic |
| Series title | Monographs in Computer Science |
| Edition | softcover reprint of the original 1st 1990 Edition |
| Publisher | Springer New York |
| Original languages | English |
| Language | English |
| Edu focus | Mathematics |
| Educational level | Higher |
| Is collectible | N |
| Recording time | 0 min |
| Retail packaging | Single Piece |
| Assembled product dimensions (l x w x h) | 6.14 x 0.51 x 9.21 in (15.6 x 1.3 x 23.4 cm) |
| Assembled product weight | 0.75 lb (340 grams) |
| Bisac subject heading | Mathematics |
DESCRIÇÃO DO PRODUTO
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Tem alguma dúvida? Fale conosco pelo chat
Perguntas e respostas do cliente
-
Pergunta:
Como comprar Monographs in Computer Science Predicate Calculus online na Ubuy?
Resposta: É fácil comprar Monographs in Computer Science Predicate Calculus online na Ubuy.. Você só precisa procurar o produto, escolher a forma de envio na hora de finalizar a compra e receber no seu endereço. -
Pergunta:
Monographs in Computer Science Predicate Calculus está disponível para compras online em Brazil?
Resposta: Sim, na Ubuy Brazil este produto está disponível para você comprar a um preço razoável.. O Monographs in Computer Science Predicate Calculus não está disponível localmente, mas você pode confiar em nós com nossos serviços de remessa expressa. -
Pergunta:
Quanto tempo leva para receber o produto após fazer o pedido?
Resposta: O tempo de entrega do seu produto encomendado varia de acordo com o que você pediu e o método de envio que você escolheu.. O tempo estimado de entrega é mencionado durante o processo de checkout, portanto, fique despreocupado ao fazer compras.
Edsger W Dijkstra All Books Editorial Review
Nenhuma análise editorial encontrada
Comentários e avaliações dos clientes
1 Avaliações dos clientes
-
5 Estrela
100%
-
4 Estrela
0%
-
3 Estrela
0%
-
2 Estrela
0%
-
1 Estrela
0%
Avalie este produto
Compartilhe sua opinião com outros clientes
Histórico de preço do produto
Informações importantes
- Limitações: para envios internacionais de produtos, observe que qualquer garantia do fabricante pode não ser válida; as opções de serviço do fabricante podem não estar disponíveis; manuais, instruções e avisos de segurança do produto podem não estar no idioma do país de destino; os produtos (e os materiais que os acompanham) podem não ser projetados de acordo com os padrões, especificações e requisitos de rotulagem do país de destino; e os produtos podem não estar em conformidade com a voltagem do país de destino e outros padrões elétricos (exigindo o uso de um adaptador ou conversor, se apropriado). O destinatário é responsável por garantir que o produto possa ser importado legalmente para o país de destino. Ao fazer o pedido no Ubuy ou em suas afiliadas, o destinatário é o importador do registro e deve cumprir todas as leis e regulamentos do país de destino.
- Nem todos os produtos listados no Ubuy estão à venda, pois o Ubuy é um mecanismo de busca global. Os produtos estão sujeitos às regulamentações de exportação/comércio.
R$ 671
Peça agora e receba por volta de Quarta, Outubro 14
Este item não é restrito no meu país. (Por favor clique no link acima se este item não for restrito em seu país para análise por parte da nossa equipe e permissão de envio).
Qtd.:
Restam apenas 99 itens em estoque.
Transação Segura
Em conformidade com o PCI DSS e com certificação ISO 27001:2022, com pagamentos criptografados e proteção total ao comprador em todos os pedidos.
Nossos principais parceiros logísticos
Entrega internacional mais rápida
Garantia Ubuy
Tenha uma experiência de compra tranquila e sem preocupações, com produtos 100% originais, segurança de pagamento em conformidade com o padrão PCI DSS, proteção de dados certificada pela ISO 27001, a entrega internacional mais rápida, devoluções gratuitas e embalagem segura em todos os pedidos.*