The Little Prover
idioma: inglês
Editor:
MIT PRESS LTD, julho de 2015 ‧
ver detalhes do produto
58,13€
10% DESCONTO
CARTÃO
YzNZd2RtZDRaM2QxVUZWRlZuWXphMmQwVDJoR2FWaHBhV3N5WW5Sclp6VkZiMWsxS3pkSGJsbDJPRE5RTVc4eWQzRkVTVE5TZVZscVV6VldLMXBuWWxkUVNraHRTa1pqVURrMVdFbExZMjVPZHpsS2EwOW9WbGwyVTJFeFEyUXJhMjFEZEUxVVVURk1jVGhHYzJaMlRFdE5VSEZRWkdzelRrSjVRalZET1d3eVlWTldLMmcyYUVJeGNFMVVUbmw0UlM4MU1qUXJVbXROV0doSk1XUkRVV3BaYVVwRWNUSlNZVVk0Um5KRlJUUjZOR1ZtWkdjemIxVkliV2c1YW1VclZESXJVRloxUkhvd1pGazJjMkpSWkc5dGFsaFhXWEV4TUVaWGNsbHlSakJ4UkV4S09ETktXbnBLTVdsSFMxUmpXWGc1UkZCMFltaDVWMEV5TkhVMVRreENOV1JzS3pSMWVXVkJjVVJWUkVSbVNpOWFSbXBJVURWbmFuWXJPVWh6UkVVdlZIRnpOQ3RQYWxjeWMxSm9XVnB1YVUxTFFuWXlhbEJhYmxCeFEwWmFRbk5TTm5GVVZVaHVXbXhHYm5ORlpVcFdTWEZMY1dSRGNEWXlkbEZDTTBONVVrUnFTSGR0TjBjd1drd3hZV3hvZDJKVk5ESXhjbllyVFVaV2RVcFFVRTU1UTBGelpEQk9iRXRWUjJaRFVXRkxlREptWVRSUlExRjJhMkY1T0VGMlpYWk9jbUkwUzBWRk9XMXFNMnBGVlRCSFdqRTFLM05HUmpCQmNYcFNjVXhqVUV4YVZGaFNhRnB3ZDJKT2RHMVlVbTFaWTAxdVYyOW9TakYxU1dzM2VYUjBNMDVvVDNCaVUxRlBPVkpZYVVrdmNVbDZPUzk1U0ROaVIzcHBkMGxaVG1vd1JqRkhWVkV5V21zM1EzbFlRMlJTY0hFMmJsZEJRbU5PU2xCU1pYcEtOQ3RMWjNweFJWWklNRkZrVVd0bVJVcFZTVUpFY201aWREWXhkbEpaWkRCUk1FaHlVMWhwVVcxR2NFSlZaRkJEV0RSdFVFOVVVWFpHVFhWdUx6SlJWR3hxU1ZoblZUZEJaVmhsYzFsTWMwbFJRVUpzUWtkb1F6Qk9TVko1VGpnelpUZFZWQ3R5WW5Cell6ZEdPVFpVTjB0a2EwbDNReTlOZVU1WmFXZHZabkozUm1jMVNIbzNVMHhsWlVVM01rdzNlV1JWWnpCRWVGZG9jSFJIUjJ4SE0wVTRVRVkzY0ZCcU9UQnZaM1Z6UzIxaVdqQjVVV2hFY1hkQ1Z6VkVVbGtyT1hGU1EybzJjM053TlhScWRHRk5ibGRUZFU1RVZWZFZaM0ZVVlVOSWVTdFpaVWhaU0RsemFuTkxTa3hrVDFsNVkyTkpkR2N3UlhOMGVubGFMMnBVVG01c1VGSjBLeTlxYkhSU1ltdE1jakpWYkdSdVNGSmlUU3N4Y2xwNVlRPT06WUVENWV3WkZEQXZ5NWRHOThxVnN6UT09
portes grátis
Venda o seu livro
SINOPSE
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780262527958 |
| Editor: | MIT PRESS LTD |
| Data de Lançamento: | julho de 2015 |
| Idioma: | Inglês |
| Dimensões: | 178 x 229 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 248 |
| Tipo de produto: | Livro |
| Coleção: | The Little Prover |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
|
| EAN: | 9780262527958 |