adicionar à lista de desejos
Concrete Semantics
With Isabelle/Hol
language: english
Publisher:
Springer International Publishing AG, December of 2014 ‧
see product details
95,31€
10% OFF
CARD
TURaR1YwTlRTRE1yY0dSdUx6Sm9TVUpaZWpnM05taE5WWFI1T0hkc1RVVlJabXhKVFZKeVZGUkVUSEpXTVZsaU5HTjZMMHRYWTNJM0syd3dWRW8xYzJ0bGJHMXVSREpJWnpSUFp5dHpXRUV3YjNGdmVYRXpUMjFyZDJ0cU9UZDNUMDVaUkd4MFkwZEhRa053VlhwSmNGcERia000YmxSdVJHTTNTVFpxTlhaSmNtRk9UVk5xVTAwMlIzWlBlSEp4VFRJeGQyTnBUM0Z2Wm1kbWVFa3lSV1JoTkcxc2MyZHJlRW9yUVVKTGIxRnhUM0JxYjBJdlRucDVPSGxVVEcxUVRIZEpNRWRUTXpOalYySXlPVFoxU1dOdU9XRkpSalI1YTBwTWFtSmtPVzVHY1RGNk9FMXNjRGRTTUROVVNVZEJVMEpUWlN0QmJYRkNVRFZrVDNoRWFVSjJhRlJUZW5SbUwyNVlOR0pYUmxkcWRFODVPRXc0YUVZck5sRjNNRm81V1ROMlJURlZkV2hEUVZNMVQycFVkVzlZZEVOMmNFNDViRUZqUm14RFNuSTVlSGg0ZDJGVWJFWTRiMGxtVlRGemEwMVFZM3BCZUVsV1pUWkVVMUpwTm1wRmVqZENlamRMWkdaWVkwMHhVVnBUY0ROTU1rOTNNemg0Y1VkbmJ6SlBVSE51VGxsWFNWSmlTWEJsVmxZelZYZE1LelJFU1RsaVl5dHBOMWRRVVVkWWRIZ3hWMEZ0ZG1vME9UbEljMjlZUWpNMVEweG1TM2RrWjAwM1ZGTkJZVFZoYW5aaGJVOWFNMnhETURaNVRrTmFNRmRzVVZKM1lWUkpkR3RyTUhsbmJHUmhibGRZUW5oS2FuVlVjMWhxZW1aMVZtNHZPRUptY1hoTU1sRTRlSFF2UTJVNVptOTBNMVJ0WjBaeVQyUnBTMVFyYWtVMmJuSXJkMUZyWWt0emIwc3JhVzFaTUhGSFJEVm1ha3hTTkRreldWcG1VR1ZpUjNWVmJ6ZDVSamh3UVhaRWQzQnpVRk5CZGpGQ05tSmxiMG8xVUN0aFRVRm9hbU0xVlVkRWVIVkNMMlp5UldwSmFIWnVhR3BvWld4RGJIRlZSVkJ3TlRWMlJHWk1lbXRtUVdoTE1GUnlSemxITUhkNVVtMVRTMFV2Wm1WWGMwRlVabWxaTlc1SWRIUmlibGcxUlV0NU5EVkxVbkpYUWxOdWJ6aFROVmxUZGsxd1drRnRaVkZsWVdaTVJrMVllbXhKV0RJclMwZERTMFZRWVdoRGRrOUdRVU5wYzNaU05Fa3JSMlJDYW1waGRWaHhlSGxTU1RBdk9UTXpUM0ZrT1ZadFZYRjFTMGhsTHl0MFNIVmFZak5RZG5KR2VWZ3hMMnB4Ym1aWk9HY3ZkejA5OkEwTHpWL2dodFNBcDJDRU9LL1Jmc2c9PQ==
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: | 9783319105413 |
| Publisher: | Springer International Publishing AG |
| Release Date: | December of 2014 |
| Language: | English |
| Dimensions: | 155 x 235 x 19 mm |
| Cover: | Hardcover |
| Pages: | 298 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Schedule
|
| EAN: | 9783319105413 |