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