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