The Little Prover
idioma: inglês
Editor:
MIT PRESS LTD, julho de 2015 ‧
ver detalhes do produto
46,50€
20% DESCONTO
IMEDIATO
YnpBMGRrdHNPVFpDY0V4WVQyYzNVekJWYld0SmNVWm1PSGRWVDJ3M2FHZEJjMVpYV0VFNVpVMHlNblZIUW0xV1lWUkxNbXgwUlU1dk9YWlpVR0Z2ZEdweWFIZHpTemhDV0VWalEyVTRkRFpuYXl0R2MzTjFhVmRrWkdsa1NVZGhPSGR3Y25CTVRFTnBTMUI0VEdWSFNFczRkMlZSWVV4NGF6aEtjV2t2ZDJKcWRXRnRWSFl2WW1WNGFDOUZSMUUxZFZoNFp6RTRSbFJzVWpaT2MweFpRbGxEY0dKWlptVmtkR1JDYURjeWRGTjFhMDEwUjFacVJIUTVhV1p6VXlzMFluVkNjRU5pUW0xVGJHUTNabUZOVUZSVFZuUnlPWEE0YTNGa1FrSjFOa0ZvTTNRdmJqZHpSR2hKVTFrcmVtdHdTMk5HVkhZMVdub3pSVXhJVlVOMU4xRnBSSEZxTVVJMlpIRTFieTkwVm1sV1N6QnVVSEZHUlhkeFExQnpZbGxTTkVaRlRVVk1XWFpFTjI4MFJURkxPV3hFT1hscU9IRlVTa3hzTjFwUFQwaEVjRlZFZGpCQllrNW9ZamhzWjFrMEsxZGlPVVUwYkdoUlMwaGthUzg1TlRNM1RTOXBaWEJ0TTI1TVVEWk5RVXh2YkVSckwxVkRZbWRYT1VSM09GTnRhbXd2YVhWbk0zRmhiRTlPTUVGdFlYQldjamxvY2t0U2VucHRUMDF2Tm5ORlYzTXhXVEJPT1U5c2RUWmpjakJ6VmpKWFVtTndTMWxtY0ZWTFpIWkRObUo2WjFoSFFVOW5TVkJuUXpCa2VYcHJjMmsyYUZFMEsyc3hNVEF6UkZkWWNVeEhNa05tT1U1M1lqZG1Sek01WjFKalkwRlVRWFY0UlhWVllUUk5LMFF4T0UxSE5IRjNkR2RvZDNwNUwwc3JkRVJUY1hFek5WbFpSRXBaWTBSMlVGWkhjVFpDTlhwblluQklRbWsxZWxCVGRXbDVTamxoU0dGMFFuTk1aRllyZVRsdFRXWmlWak40Vlhad1VYQjNlbmhoWjFWdlEyTjZWV1ZJYVdocmVsWlNWbGROV0ZCeGNWaHBlVlJoZUN0UVpFVk5MMVJwTVM5RlRWQnBOMkZKVjNOeWFrTnBaVkZIZFdGRVVIUklUV3RuVGxGdlptYzlQUT09OjRGeDZlbTcxU3RISlZpU1pmdlFxbUE9PQ==
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 |