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