adicionar à lista de desejos
Interactive Theorem Proving And Program Development eBook
Coq’Art: The Calculus Of Inductive Constructions
idioma: inglês
Editor:
Springer Berlin Heidelberg, março de 2013 ‧
ver detalhes do produto
98,71€
10% DESCONTO
CARTÃO
ZDBWbVFpdERTWGRvYXpGTVlVRjZTMDFvWmt3dmQwaEZXRzVXVEZKSlQwVm5jbmgwWkZCbGFXTTNUM1ZUYWs1SE1rUlFTbXhTVERkcFMxcENZMW8yTW1GbGJpOUpRV2x0ZUdGMlRXeGxNalY0ZGpsQlVUTkZaVXh6YkZGQ1JqTkRZVXBSWmpsNk1XcHllUzl4WmtWcVFUWlJZMHBtY25aTk1rSlpOekEwTkZvMFVFOHZSWEk0UlhCaVpXNDVWRWczYUVWTE9HVk5hMGRDYmtSVVlXaGtPREJvT0c1WVQxbFNhVE5rVjFJdmNrRXZLMkZIVTJKQmNHdE1SbXRYYTFjMllrWkNkSGhFYVc0MGNHWjJZMnAzYlM5MlVURnZlV2RpYWtKS01VNXBRazU0ZFhCcmEydGFVa1pJVkRJelQxUkdWSEpyU0Rsb1dFTnZiMlZGUjJzeVlXTk9aVTE1VFhCdU9WSmpaa1ZpV1U1YVZFRjVaSFZuZHpkdmMzQkhiM3B6UnpoemNrbzBiRk5vVmxJeE9HVm1ZVVUxZVhKQlEzYzFNalYwT1hwcFZtY3JVbGs1Vm10SGFtWlRNbTFuUkc0NGNrUnBUM1JpV0VsTE5qaHVaM1pRUzBweGJVVkhNVXRqYm5wcU0ycEVObFU1ZWtKYVNWTnZNVk5MYVUxTE0wWkViMUZDV2paMlVqTXpLMDVWUlhNeVZqRnlWR2h3VTNkUVZHNVpWRVI0UjAxR1oyVXZaR3d4T0VjeFZXMWxjbU5TTmpaMFFuVkNTMVpMU2tscmFUZFplV1phUmtoUmRIWnJlbXBGTkVsaVowZFNhVXhGZFVoTlVtUXJPWEJtVWpGNEswVmxRbU5EVFROa1QwUXdXR2R5ZG1Rd09Ib3JVa1JFUkN0NWVUUndhVkJvU0VwTmFuRmFRUzgzVFZOcVZrSnFSMkpSVEhoRVRUWk5Nbmg0U2tkTFJrRkZMMkZUYUVSUVltSXZkRXBMUTBsaVdrNU9PV1JoWWs4cmJVUnFOWEpKUmt4V2NqTkdiVU5TU2xveGVqSjFSak5DZGpsellrczFRbkp4U0RsRVQzazBVbWhrVUdSRWRITmhWbWRVYVVkWFR6QjFaVmhMTlV0clIwZERiR2RJYmtOYU0xUjVOMjkwUzJkdmFsbzJRMk4wVDFoelpsVlplVEJTVjBRelEzSjZlVzVoZDNsdlIwWnJUa2w1YzNselFrUjRNMEpxYkRKcFlUaFlVbFJyTVZGS2IyaHRaazFRVEVGSmMxVmhZMDVNZVdSQmJsSjVPRUpXZURVNWJrd3phRFZVVDJ0VlR6aFJTa0Z6UFE9PTplelZCRTJjS0xMRlFIM0ZPR1VUT2N3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783662079645 |
| Editor: | Springer Berlin Heidelberg |
| Data de Lançamento: | março de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Texts In Theoretical Computer Science. An Eatcs Series |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9783662079645 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Formal Methods For Software EngineeringSpringer International Publishing72,86€ 10% CARTÃO
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis