adicionar à lista de desejos
Concrete Semantics eBook
With Isabelle/Hol
language: english
Publisher:
Springer International Publishing, December of 2014 ‧
see product details
66,24€
10% OFF
CARD
T0U1RE5rTXZkV3hQV1ZkWU1VMUZUMWRaZDJaUFZrbHNXRXhEYjJRMWRIaFZRblZwVDFCUmJHeElhM0ZIZGtoVVFYcFFia1pUUzJGNmNtZDJLMHREWm1vNFZDOVphRWxKZUhCclRqUXhPVFY1Um5RMGIyVnFNVEpNSzB0d1ZTczVWRmxIUzNRMVFYZHBkbFZUYXpWdEsxRlZURmxJYjBsRFVVWmpZemhoVGxGNGVpOU1jeXRpVldWMFpYVjVSV0pyUkZWWlF6Z3hlbU5SYml0VGJWTjZWamRhWlVNeGJtb3hNVEJrVW5oc05FaEhTVU5NU1RWbmNFSnBaMnQ2VDBSaVRtcFhXblpNWmpJeGRYb3JWVEpGV0hkNlNFMVlaMEl5WWxodFZuQlhZMjB4U0ZaUFF6VlpSM0pSVkcwd1VVaEZOM1V4UjJwU1RraDBVa1ZOZWtKbGJISXZVRU5KYkRkVlVuaFdOME41Ym1oU1VFbHhNU3RRUzNOR09FOVlLMFoyUTFCUlRVWnFkWEJDY1ZCVGJGSkpMMjVKTVV0TGNrdHFRbEpMZEVGcWRUSkdlUzlsZDJSeWNDOXVVVWhaYUZoMGVGTlVWbWR4UlRSWmFFVjZZMnBrT0daRFNqUTVZbEp6UkRscGFISXhabUo0UTBwc2FXSlFWSEZTWlc1MVRsVTNWbW80WVVOTE9YTm5aazg1UkVabWJGZHZkREFyWTBGWFJEWmFjM1JZVWpBNU4ycEpWbTlQV1dOaGIyWkNRV016TDJZeVdEUjFPWEJFV210Q2RrcENWM2REYUVGak9YYzNjR2RQVjFkRVJEWlBMMEoxYUhrdmQwaEZhWEZ2UmxkVmEyY3lUakF3VWxvMVZYZEpRUzk2THpWUkwxTTNjM1ZqTVVjNGVuazJiMlZTY0ZReE5scGhZblIzVG1OT2VHUjZXWEpTYlM5d2NXSXpiblExVlUxYWVXcE5PVXhNZW5Obk1Hd3dZalE1ZVVKbFMwWnhSamRFTVhCWFYxQkVPR1JuWVZaYVdqUm1ibkJqTDBSbWVrMDVTMU5rVFVoNU9FNWFhSGxRTTBaaFNqSmFTR3RYWVU5bGJsZHZUVkpwWkVvNU1EZGxkVGMzVmxWbVlrRnpRMlJJVmtkNmVGSjNVM2hwTVVoV1Z6SXhRVXhRVjNaNlJVZ3lURTFuVm0xMVUyRkdSemxLUld0R1lraEtURVU1ZDJwelJVRjNabVJTYkdZNWVXVnFVVGxaY3pacmRUUmxWMHByY0hkNlZDOW9OMEpsVjNCdVRtNUZXSGh4ZEhjM1NFNXBPSEJFT1ZCQ1RFbHdlVFpOUFE9PToxSFFkbitNV1RycmtMLzZ3Yk5Hc3p3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
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: | 9783319105420 |
| Publisher: | Springer International Publishing |
| Release Date: | December of 2014 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Computer Science |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9783319105420 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Computer Vision MetricsSpringer Nature Singapore130,58€
145,09€ -
eBook10%Computer-Aided Intelligent Diagnosis Of Skin MelanomaSpringer Nature Singapore178,28€
198,09€
-
10%Concrete SemanticsSpringer International Publishing AG95,31€ 10% CARDfree shipping
-
10%Concrete SemanticsSpringer International Publishing AG67,58€ 10% CARDfree shipping
-
10%Concrete SemanticsSpringer International Publishing AG95,31€ 10% CARDfree shipping
-
10%Concrete SemanticsSpringer International Publishing AG67,58€ 10% CARDfree shipping