adicionar à lista de desejos
Concrete Semantics eBook
With Isabelle/Hol
idioma: inglês
Editor:
Springer International Publishing, dezembro de 2014 ‧
ver detalhes do produto
66,24€
10% DESCONTO
CARTÃO
SzBsTWNXWjNkMHR0Y2l0NVNqSk9NMmh2WkZCQ1UwTndSMlU1UlhCVmJqbHRkVTVHT1haSGIxUjVOVEpxT1ZkV0syUnNWa3BtV2xGblZWSk9SbFJxY0VJeldEWlZMMlV4UjJ0RlJXMTRWRkZVYVhOYU5GY3dUVk00ZURGMlpWUlRSWFJZU0hWU1FsTlFMMmhXUkZGa2RUQjRSakpWVUdWU0sweFRUV3BsTjJKVU0waGpVM2xFWTNoNE0xY3pOa1o1Wld0bmEyOVBVMlpOYmt4MmFtaGFabTlwVFd0bFNuTnNLMmx2Wm1KblVHaHRjSGxNU3pSdGRtUkdWRk5OUWsxS1JYZGxZMnhMVUROM1VqQjBkM2x1YlVsWk5sUnFZVFp6WW1SM1pqZFdUWGhSYkZsRWF6QldOWGd2Tm14QmJVSm1jbmhPY2poUWMzY3dVVE5oU0ZWclZ6bFJLM0J3UTNJNGMyMUJWVTl1UldkeldqSk9UazQzVDJ3MmFVWXdhMVpwTlhWc09YWTVhMUF5YTJReFl6ZEtaRlpRTld0WGF6RlZUWFE0TUd4NEx6RnJUalJNYzA4cllrTkVNSHBIWWtSdFUyZG5LMU5wU1V3dmFVMTROMjAzVURSVWNsRjZSV2xZWWxocVptZG5ObVUzUkRCbWRVSk5PVWxLWlZNeFRGZFNWM2htVGs5MGFFbFFMMVZwZVVsdlR6UjZPSFZ3Vm10SFpGSk5kelZWVkdscFdYUXZaVTFMWWk5cWN6aDRXbGgxYjFseGNrZHRVMVpGWlM5eFRFNWtXVEpsU0d0bVJHOW1VRWRZVFZWS1lsaDJPVkZ1WTNwSFF6WjJhekVyZEdaVlVVOVpabmswWldkaVIzWmhTMHAyWmxKV2JsWndia05wTjFKR2NHazNiRlJ6WmtoUVlrSTNLMjFsVUZsM2NrMVViV1ZxVmpGUlRUUlpXSG92UzJJME5XUm5hVFpWVVZZMk9Hc3JkMHA1WWtGbFFWVjRkSGxDWm05Uk5sRldPRVJKWTNaNGIwTk5WV05WVUhWTVRVcFVTamhzWnprM1VYQk5UVXRoYjB4eGJsRklVazhyVEc1bFoxaFJaMkpUTUdvck5sQnZNazV0TjJobVNHRmpUVGRIZGxWd2RYZ3dOMEZrSzNaMldWWTNjV2w0Ums5Uk4zaEpNbEppZWtFeFJGZHljM0k0Y2tsUVRUaEVZWEIxTkVZd05taDNTVzl2TTBOU05EVnRUM1oxVW5kQ2RtTkRLMkUzUmtSRWVHRnFUMko1TVdsWGJtaElZV2xOYkc1cFVUUTJUV2Q1TkVFM1VVSXdURzgwUFE9PTpHc2JlRUFSdHZDSmhCR21LYnIvL1F3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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: | 9783319105420 |
| Editor: | Springer International Publishing |
| Data de Lançamento: | dezembro de 2014 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Programação
|
| EAN: | 9783319105420 |
LIVROS DA MESMA COLEÇÃO
-
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% CARTÃOportes grátis
-
10%Concrete SemanticsSpringer International Publishing AG67,58€ 10% CARTÃOportes grátis
-
10%Concrete SemanticsSpringer International Publishing AG95,31€ 10% CARTÃOportes grátis
-
10%Concrete SemanticsSpringer International Publishing AG67,58€ 10% CARTÃOportes grátis