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