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