The Little Prover
idioma: inglês
Editor:
MIT PRESS LTD, julho de 2015 ‧
ver detalhes do produto
58,13€
10% DESCONTO
CARTÃO
Y2pKVFN6TXZVRE5YVlM5TFVuQlFUMkpNYUVsR1ZsbzJNSFUwWWxKTlVXdFJUMmRhU0dOM1pWWjRiMFUzV210Nk1VRkNSR3cyVldaQmNtTlVNRlJsZGxkS2R6UTNiRllyZG13eFJESTFVRzA0Ynl0alpreDJZMkpoVlZocmVEUnVSRk5yVDNwNVJqWmtZV3AzUmt0SldUUmFWSFJyYVRZMlNqVmpWa3hKWWxSNmNXTlFiVGxCWmxCUk5FUkxNa042WVhac1l5OXZaM1kxTkhSU01GbGljMjk0Wm1nME5FbFRWa2N2Y0RoNllVSk9TRUZCUTA1emFEWkpkVU1yTDBaVWVtUnZkamh5TlRkVGRXZHBhbmRXY1hCVE0xbE1iSE5CVkZaME5GTlFLMHhQSzJ4bFIyWnNTMDEzUkhKdGFqSm1UR1ZLVlVwbE1GTTVUeTg0TTJGRWMwNTVPVlJEVVZjeVRuSnBkMUp2ZUdKeVkweFdNM1pET1ZwUlJqQXlkQzlMVEVwclNtZHFPV1JSWVVaa01HbE9ZVXBWUTJsNGJsVldXR3hRVUhGeFdXbHpkSFpxVUhSaWVrbGpaR3RYYms1dlJtTnVRbEpFWVZaaVVXOHJiVTR6VFVzMVl6QkplRXhXYW1FMVpqTlhUa3N5UVhWcVkyZFBWVUpEUXpOdVdtRndkVTFIWWpGelRWQjVWSFJrTUZWSmRXTk5RVUp3T0ZaME9VaHhlSFozWkVWTWRGZzJVbkZqTkVkSEt6QjFaR2g0YkhSMFdUQktZalZGVEZka1p6RmliMUJ3ZDNwNVdrbzNPWEkzU0ZWRU0yVkRibWhHUWpSYVdYZ3lVa1IxWldacE5HbE5aMlp3YjNOSFZUVmFSRVpWZGpSV0syaFRWMU13V0dGYWNXUXZSbmhvWVdwbWFFSm9kbU5yV0dreFIwVXZVbFJxZGxWS0swSk9Ua1p6ZDJaaVlqbGpjMlp2VnpkcVoybHNTMDB3UmtSNk1uVm1aVXRLSzJVd05FWndUMkpRWmxGb0wwNUxNM0pFSzNobWEwbFRjVmxMUkVwc2VWRkRlamRhZUdvNWMzVllaV2hhTm5Wa2RHRXhVSHBIVEN0RmNtUnNNMU5KWjBSVlNsWXpkSHBGVVRBeFptMUpPQ3RFVFdaSFMzbGljMGRwTVN0RGVHRk9WMVp3ZUVWT2ExVlVORFVyV2pjNVpqTkViazE0VEdaSE9YRm9SRFEyT1hOWlVEbHBRbVJRZWpnclJXMHhiblZsSzBGQ1NUUm1OR1JUTURGV1ZIRXJUV015UWswdmFVZE1aa1ZsV25OaFZEUlFVVGxUYTIwd1owcEJTVVZRVkhKd1YyY3dZM1p0TTBzM1kwdHVaRVZHYUdSdlRqWlFVVkpsTkU5VEwwTkpNR1EzVVhGYVZYcEljVlF5UVdOU01IUkdabTFhVFVRdlptbElTbGcyU1VRek9HWlZVRGgwWjJnemF3PT06czVmZU5PYXIrNExUV0tPWWRHazF0Zz09
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 |