The Little Prover
language: english
Publisher:
MIT PRESS LTD, July of 2015 ‧
see product details
58,13€
10% OFF
CARD
UmxCVGVtMXZTM1ZIY2tjNE9FRmtkQzlFU0hsM00zRlRhMDEwV1ZJNE9VaFdXRFJLUkZKT01Xd3laSFpCTlhWNVZXUXJZVGd2VW14SldrbDZiblZNWjFRMlIxbHBXVWhFUW5sQ1ZuQjJUbTVFTWpjNUwyeEdPVm9yUTJkNVpESnZlVlpIYzNaVU1tTXdSRXA2ZEhad09WTnhiRmxaVUhrNFkwSklWRmxpVG5GRmRrZFliR3hRZDB4NFJrdEdURVYxTlU4cldHdzNhR1JHYm05aVpHRlRkbGt6TTJjelRGbHNTakE1TjNkSFdtaEdaVFpCZDJSRFpETndUbmxvTmtKNlRXUkhOM2hXY1ROMEswVk1lR1YwYjBSRFRXRlFhME5EYkdZcmFERnRWMk12YmpGVlVHNXpaV3haZGxkNWJtdFBOR2hMWlhVeGJ6ZFNkMk55YVRRNGMybEljM1ZRWlM5QlQwbEZhblZTVG0xWlZVdDBjMFJqZHpOSWNuQkJNV0pOY1ZOM1ZtUjNjemx6TkRKV1RESmFOM1psTnl0a1JHUmxha2M0ZVdkbFNWTkVXbEF2TUZoQ1FVVjNTMkpaV1N0d2FUWlJOV1JIWTJnMlNIbFFOQ3R1ZG10blVsSllWa2Q0TW5sNlRFTTBRMmRIVEZCUE9IWldWbEYyVjFKNmJYbG9ibk5FUTI0d1NrWXZlVGxCTUdaMFIyVmhTVlJSVDJSQ1QxSkZVVVJ0U0d0cE1GaFFhVzV2WXpaNGJVMHZhbUZvU0RkeGRWZEpWRmRUUVhWb01YcFdPR2RUWm5sb1NtUjRiMGwzUlU5eVZ5dFZkR016UmtKdVoxSk5PVWhGY0ZKdlR6VklXWHAzYVdOUE9VZG1Uamh5Y2tReVFqVk1OMGRaWVdGTGEzSnJXVkpLTlhCNmFIbEpUVTFRWTIxbGNERXlXRmR6WTNoMFFUVkdaa2RDYW1ScGRIUk1hR1JDY21KV0szcHZabG81WjB0Q2FUQmFlVEJ5T1VkbVppdE9UeTlOVVZaSlozVkhZa2h6UVVaWmEyVTJNR0YxV1RJeFpHUk1ZUzluYzFwSFVUaFJRa3A0ZHpVMll6WkpXazA1TlU5bmEzRTVUVE5HVnpBM1VEaGlTa1JTWVVWNFZGUk5Va3RGUjBGTmJEQTBPV051Tms0M1puSlFLMUp6Y0c1V1YzRkVZamcxUjFnM09XeGpTbmQ1TUVwaFRFMWlUVE4zTm5JNE5rNU9kWHBCVGs5TGVUZDRSM1ZITDBWdlpHaElNR3g0TkRoUFNreDNkVmwxTm5sYWJHSkJTR0ZxZFhkRGJYSnZibmMyUXpObGRVTlFjbVF4WlRGVE5pOXBUSEo1Um1neVNWTlNTbGRzTjNwM1MzcE1RVmhHTm5GMGJtdDRaejA5OlY2M3F4MStSdlowbnVIcWxiSW12Wmc9PQ==
free shipping
Sell your book
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780262527958 |
| Publisher: | MIT PRESS LTD |
| Release Date: | July of 2015 |
| Language: | English |
| Dimensions: | 178 x 229 x 20 mm |
| Cover: | Softcover |
| Pages: | 248 |
| Format: | Book |
| Collection: | The Little Prover |
| Categories: |
Books in English
>
Computing
>
Schedule
|
| EAN: | 9780262527958 |