The Little Prover
language: english
Publisher:
MIT PRESS LTD, July of 2015 ‧
see product details
58,13€
10% OFF
CARD
Y0VwcVVYaHRjV3hSSzNsSVNEQXZTVmxVYVhkQ2VFbHdVRXd6WVZkSlFYWjNUV1J3VkRaamNFUnZVR3MxV0dWbVpsRkhSMW92ZUdWV2RreEdPVXR1UzFGUGJWTjVjMU0yZDNjeGJEQmFlV3RrYm5NclJrSjNjSGhPYm5aNGIyRnVha1UxVEZkRldHSnlNREpoZEcxR1ZrdFhaVXB4UkVKcmRubDFSbk51ZUhob2JGbzJSVXczWW1GeWMzcDVhbGx5TUhoU1pubHFRVkZuVTIxeFFWSjVjbVYxWjJKMVJXTmpaVUZEVXl0RmJEVXdXakJVVnl0SFFYaFVRVWR1Ym1wVVNERktNRGxyVGtGRlIybEJjbmRPVTBKQ2VXeGlNMXBZT0ZKbFRWb3pibE5RVm1KbFRsZEhObTAxY25aMFZYcGhlVVZHSzBvM1pteDZWR015UkVVdlREZFlkbkp6YWpJNVZIWllWRzFhY0hwcFkwc3pXbkJVWnlzdlJHVlVOa1pNYkVaSGNEQnNURnBLTm1GdFJHOTFSazg1VDFkUVRWVTNjRUpUTkhsRGJFVldialZVTUZFckwyVnphbTFPV1VoeWRrSjZVaXR1ZDBGM2NVYzBjbEpGTDFKc2ExVXJia00zTldWeWF6ZFNaamd2VEhneWRteGFWMlp6V1VObE9IUTRTSHB2TW5aMlJ6ZzNWalZDU0Vwak5XUkZUazQwU0doeFIyRlNSWEkzYjJwc1RHODVVMEZZVEM5UWNIWjJhSFUzTVZCdk1UQmlaa1E1WTBaUE9WZHlOMHBUUVhkb1JIQmFhazlTUVVKWWVFZDZhV2h3WXpONFVXUjJjVU1yTlc5SWRHRjFSVnBPTDJOdVdtZzVlV3h4TjNOSWJtbDNOSEIxVFVkTlRVdzRRbkJtUm01aVYyRlZkVEJCVW0xTmFIaEJUMmQyVDFsdldHRlplbkJ4UkZGc04zWkZRM2RQUzAxWFExSjBWV3hGV2t4dWIwbzJTbU5zUjJSYWMyNHpSbVpYVVdWMU5VaHZURmxOYTJWWk1tWm1TMkprZUZkVmJYbDNia051VUZoM1kycFBjelJXSzFobFpHNUVNM2hJUzNoUmEydE1Oa1JEY3pOaGFEVm9ZMGQyUXpsQk1TOHphRXg1YlhoVmJuZDVSMXBFYld0Rk5YVm1UalozY2pGQ1FreDNRVmR4WlZwblJrNUxNblJ0ZDFGUVNsbDRlVWxaVm5jMlQxWjFSeXRCUmtaMGVYSXhkM2MxYkdKdFJYTnVTMWczTVROc1RFRmlaVFp0VVdjcmFEZ3JkekExWWs1RU0zRnhXbEpFVjFOS1NVbFhaQzlVVG5CVU55dGFObVpsYkZsQ05sSkNVMFU1WlVZdlIwaDBWa3RsTTFOaVIzSmxaejA5Ojh3VUgrd29mQmhobmtwMDBUNWtpZXc9PQ==
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 |