adicionar à lista de desejos
Concrete Semantics
With Isabelle/Hol
language: english
Publisher:
Springer International Publishing AG, September of 2016 ‧
see product details
67,58€
10% OFF
CARD
VlZRME9WWXZUa3B0VkVwQlZuTTVjRWRHZVhKRWJrazVWMXB5Ym1ORFYxbFlTbEZ4UzBOMVNsbFhTM2hUUWtwc2FIcHBWRTFQU25sSFYwdGhZak54YlhoclZXaDNhVU5hYUdsVE0wVTJkM0kwVTBSME1YVnhabGg2TWk4MGIwVXhiMDV0U1RadlQxSkxWWEpYUW5kNmVtNVRkRU5PTm5SQloxQmlZekpzYUdSVWNXNU5SREZCUlRad056SlpjM2xWT0cxWVVsbHZjVEZYTUZveWVFbEhZVUU0ZGtkSlUxQmtjVzFvVFZjeUsxZFZUbU5vV1RJd1EwaFVPR0pyZEhsalFUUkdjVlJhYms0NFEwTndVM2RTTldsbWJrSk9WR3h4U0RSa2IxY3hObEo0YUZRd1YydGtPRGhXWnpaSGEwWlBNVlJaVVZOcloyWTNjVEZ1TmsxSGFXWnpPWGxNS3pGVE9FVlFUVVJsWXl0VlJFTnVPRmR5VnpCbGExQnVhbUpKS3pGTU9GSjZUVGg1ZFdGMFdVVkhVRU42T1dReVVHWk1PRW94ZDBGREwwcHpWbEJQV0hwbVdISlVXSEpxWkZKTVNHODNZV3N3WnpaaWVuQmFkVWRaWkZCNVJrWjRObVJRZG5NNE5sVnhVMEV6UzI4ek1XOUllRzVvTjFJemVUaEJOVmhoTm1waWJIUkpjbmg2VmxsQ01UbFlka1pEV0VoTGRqTXZhMFZzVlVwV05tOHJWMjVITTNCeWNYbFdhRXdyZW1GelVFb3hXR1prUkcxd1lrcFhVak50ZW1kV1luTjBPVEJETlVoQmVtNWtMMUFyVm1OcmJpOUphRlZNTVdwQk5Fb3JlREJ1ZEZWaVRsZFdRV0pyYUhaRWFUTnJibEZVZWtwTEswVmlhWFoyZVhndmRVcGFRMDFtVkRGQ1MxSTBhM0pGZFRGcVRscFhVbGhqYVV4YWRGTlZORXBOTm5WWVNVcERPRk4xYVZSYWVVY3lkQ3RQS3pGT1RXOUZUbnBCYURkeE9UQk5PSG93VG10a1pXZG9jMUIyYVN0b2JEUjBOV0kwVDFsMlVGSldZMHBCTm5SbmVrNVdaRE53VFV0U1VtVk9VRXBVWkRGNE1ITkdZbUpRUW01WmRWRnVSa2xsTVc5aWQwVndTRmMwWlRaemVHRkdjbmR3YzNGcVdFaEhZekJaY2tZd1VGY3JVbE5tVGk5NlQxQTNUVmxaZWpsblFqSklablJPUzFab09UVnNTa1JWWlRKWGIwUXpia3N6Y0RkNVpXUXliVXRUZVRKTk5EQmlhMnRGT0hOb2MyOXhUVlV4VG01UVRWQjFaRVpVYUdKR1NtbExZM3B1U1d0WU0xSnFUR2htTm00d1ZYTnJaMk15Vm05WU9XNVZaejA5OnlqbmFmSXRZd21YdjRMTUlRZ3ROcXc9PQ==
free shipping
Sell your book
SYNOPSIS
Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783319357591 |
| Publisher: | Springer International Publishing AG |
| Release Date: | September of 2016 |
| Language: | English |
| Dimensions: | 155 x 235 x 17 mm |
| Cover: | Softcover |
| Pages: | 298 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Schedule
Books in English > Others |
| EAN: | 9783319357591 |