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