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