adicionar à lista de desejos
Concrete Semantics
With Isabelle/Hol
idioma: inglês
Editor:
Springer International Publishing AG, dezembro de 2014 ‧
ver detalhes do produto
95,31€
10% DESCONTO
CARTÃO
WXl0U1RHbG5kRVUwU1dkSGIwOXROa2hYT1hKMFdHNXpkVEJ4V25KcFMxRlVXakZOWTFCblZVMUpWSFo0Tmtwd2JUSnpOM0ZvV0VselluaEpVRlYwUkd0UVVFVmhkekZ4VUZkdGJITm1ha3MyVDBGME56bFhXbHBUYzJwSlpVOUVVMjVJVm5GRGJFeFhXREJ0UkdkeGJHVm1XWGM0V1RsdlpGa3ZZbmhJVFVNNWRXWlVaRmRxYzJGTGNWUklNWGgxTVRoS1YwNTJUbGw0VVRkdE5XWnhka2hOV1RGR1dreEJaa1UzVmpCdGNuTjJNMFZxYURCT1owVkNaaTlYTkdkSmREWTFZMDVzZVhack9YbEZZV3RtWkhoYU1GWjNhVXBUVGtRd2VuQmpaMnRaVm1zdk0wZDBlVVpzY0Uwck5YbE1Oa0pVVnk5RWVYQlZkVXhMWTJGeFRUWlBRekJUUVhsemNGQnhhbEZ3YkZGMWNERmhiVTFFVGtaelVubFBZMjlrSzNwMVprOVVNMFpCUnpoek9UZFFha1JaS3pSc2JVY3hLM1E1T0dsRWRGVjNabW92TUd3clJqQmhabmhUUkhsclZqSTNSV1JzYlhaeGFqVmxRMlZ2VjBsUmNWaG1iRnBHVURrNU9XSlZTMUJ3YlRKb2NtWlBXR05rWTNwUFluWlRVM1oxZVd4T1prcGhNbkZDVlRCcFZVMVdTM05yZG0xSmJFcDVRV05OTWsxM1VVWk1kekpTU0VoclIySXJTak5SUzBkUWVFRnBSV0ZwVmpNM1owcFZWQ3N2Um5kcFZFeHlaa3BPYkZkalYzbFZjRlpSUmtaRVVEWmljRko0YVhWcVYweG5VR2czVm1kU1drcFdjMUE0SzNOWE1GWlFOR0pGZFU1dmRVdFZRa0ZLWm5oR1ZETXdaelJPZVN0T1IxZHJibXB1YW1abk5uRkhjblJ0T1hVd1RTOXZhVWRrTldVM1F5OTRhM05FVldsNVExSktkMXBtVjFwQ01qQXpaM1ZUTVdSR1NsUllRVVZXVmpjdlRIUkVWalV4YVROTlprdHdWR0ZPTm5kdFJsaEVSRTlUYURoM04xaEVZbUV4Y0ZoNVZtMWFXbmxTT0RGMmFqRlRjSEYzZVZoUU9UTXdhVnBoWVdZMmRFWXpWa2RvZDNWcmJtYzVabnBCS3k5Wk0zTnhhbTFOVUM5S2NHWmlSVUYyV1VsWFpXWmtLMXBwUldWU05EUldhQ3MwZDBVNFlTOXVaSE4wTUd4blpXMVVPSHBxVHpkSmExRkdXRzA0UjJnemFHcFlSa3hMUnpsS1VGRjBWM2hpY1VsMVRqWXZZemhTYWtkTlpGZEVRMk5GUlRrd2FsaGhjMnR2V1hsS1FsTk5Ra3RRV1ZsT1oxUmhXazlOTW5velJTOXdaVTk0S3pWQlFYcDNlVkI2VTNGVWJ6Vk5aV3N4TTBsS1lYVm1hbXRaU0hwc013PT06K0hUeWJwbXhMQjZseDFFYTNrQ1V0QT09
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783319105413 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | dezembro de 2014 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 19 mm |
| Encadernação: | Capa dura |
| Páginas: | 298 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
|
| EAN: | 9783319105413 |