adicionar à lista de desejos
Concrete Semantics
With Isabelle/Hol
idioma: inglês
Editor:
Springer International Publishing AG, setembro de 2016 ‧
ver detalhes do produto
67,58€
10% DESCONTO
CARTÃO
UmtWSlRpOUNVR3RaYzFoYVJsRkhlREpSUVhOV2FtSm5VazgyUmpsMlpISjBObEUyY21sbmNIbzRWMnR6VW0xckwwcGlNbGw1UVhkM0syUkJORnBvYzFobVV6aG9XazVLZW0xTU1Fb3JZMkV3YW10NVFsQlRhekZUUzBOc2ExSk5ZVE5oYzFsQ1oyWmFiVVpxVlU5d2NYVmxOalJITkhOYWVTOW5TRmRhUkhSUlNFWXZTMFp5WjBOWk1qaERXRkEwTUZSSk5EUjJkMmR6VFdadWRFWnhUMWxuV0VwalIzazNWVTV6U1hZdlRTOURZVmw2VmtSM1EycDJUalZMTTNNMk1tWlFWakJMVWxWQk0wdEZkSFpGT1U5SFZtZENaalpxTkc5eVMxaENkVzVFVW1ONlVHSlhOUzh6TjJ0TU1HZ3hiRU0wWkVneWIwbHVURlZQZG1KUVRFSTNSa2xQZHpGS1FWSldiRFJHUkVOTE1FaE1RV3RGWTNObksydDBaaXR5T0dwcFRVb3habVowU1c4NGMxVnRjVVZtYjNCQ1pUZEZSWEJ4T1RobGRHSkhTMVIxVkVVME5UZERaRmcyZVZaWGNIbEdSR3gwZEdSU1ltaEhXRmxIUkdoV01FSnZTekoxV0hwdU1VbzNZelZYT0dOS1ExSk1XbVU1T0hkQ1QzQkZkV3RSTXpoc2IzSkNiRWhDZWt4cmF6TmlVMW94YXpSbFVXWnZkMk4zVkhSV2MxcDBVVnBxVGxSSFFraDJZVzU2TUZCQk9WZEJNMkpEWlM5UVdrVnRMMWh6ZDBFd2FqSk1SbUZOWVRnMlJuUkdLMUpWT1ZoV2RXZEdiVlkxTXpkRmFGTkhRa05CTjNNeFRtTTFUbmd5YmxOQlRqaFNRa05JVEhsU09YUlpRVmQyZFVZeVdXMVpSamRrTmxZMVpuQlFXVGxWZHpoc2FGVlNkV0V4VTI1T1IzUjFSMEl3UVZacGJtcHVUSGMxVTFjNFMxUkRTbXg2UVhOVVpWWnRPR2xCTkhJeFkyMVRjRUZRUkhaNU5GWkhUR3BzYjNBMFkzRkJaeXRrUnpBNWRHa3lia1JWWXpKdVl6aFpORk15VEhOMmR6aEVVMG93YlV4U1dUTnBjR0o1UTJoRGIwZHhWbkpRYlhOVGJYcHJTazVJVUZoQ1JFWk1WM0JyWkVoRVdIWnBOME5uT1UxWlJ5dEJjMUpWYUdWaWRrdFdTRlphTWt0U2NEQnpOQzlNZG1oMWVtcHdWVTFYZURVd1RsRkxhSFpuYldKVmNscDZOMWhNUWs1MFYzb3dXWEkxVjBaVVFqVnNMelF5SzBkeFNHRm1hSE5PZEdOQ1ZrVmxUbVZoYkdGRlUzTnZaVFl2VmtWNVMwUnhORlpzV2pGWmJXaFNMMGxuZUNzMmVFcG9hRzVEV0c1a1RWSkhRamRsTkZScGJWQlFVMWhKTUVscmNXaG1VazQ0VDFCUFF3PT06T2REYVpRR3o4S2NMZWQ4NjIrU3NqUT09
portes grátis
Venda o seu livro
SINOPSE
Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783319357591 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | setembro de 2016 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 17 mm |
| Encadernação: | Capa mole |
| Páginas: | 298 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
Livros em Inglês > Outros |
| EAN: | 9783319357591 |