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
VTIxaVkxRmxhV2xDU1RsWFYxazNaemt2Y1c5MEwwVkRVV3MwWm5OTFMxWkZaVXhuT1dGVlpsRkdjWEUyWTJWSFRsUTRSek5SUm1rMlpqazVkM1U0UjNoRWJEZFNUMDFhWnpBNE5XWm1hM3BUYjBSSU4yTlNNRFpJVkVKM01IQklVRTkwWmpWUU5pczVlVkZNWjJwaFZEWXJZbVV2WW5GaFZ6UkhVbGt5TW1ScWVESnlkV2xoTlhwS2Iyc3pVV281TjBscVdqRjBSekpqWlUwMFNtWlZTV0pGZURGV05reDVVRVo0YVdoNFVXMDNMM1poVEV0SWFEVjNXV2QxUjJ0RVExcHZNa2x4UkZvMVRuaFdOVlp5ZG14VGIxSkNSMlZzY20xU1Z6UmpUeTlNWTFOUlZpdHBkVkJ3UVRaNlZFTjNXakJ5WkhVeGFIWk5XbG9yYkhNclFWZHdjVTFOUVdrcldXNTFiMjlGVFUwMU0yTkZNVnBYUW1sQlJVUmpaV1pwWlZwa2JUaEdSak4zWjBjMGFVOXVNMk5ITDBacU1HaDVXREZTVUZoUGJHZEpVMXBKY0VwSVZrMVdaVGt6YTA5eGFIZFVlRlZpUkhJeFdYRjRNWFk1YVZwYVprMDBhazlrTVdWRVNqaEtkeXQ2YWxaT2NqUmFUbU0zZG1sRlJpdDNOWEJ6YVc5dE5UbHBjVUpuWlN0R1pFbHhVRzFOYW5NMVVXSnhkR1JuYm1Jd1NFSmxaelJCVFV3MWMwSTJZMU0zVVhaWmEzaHNjMUZVY1RoVGMwWklOUzl6YlRaNmNXRkxRVlpNYW13eUwwWktVSEJFZDJ4bmVtMTZjUzlNUmpWQllXbHRiazFFVEZsblFWbEhSekZxZG5sNlQzRmtNRTlFTmtwWFpGQkNZUzh6UTNKbmVVMUZhR0poZFd0TlNWaHpTRmRSZW1Wa2NVeGpLMFJpUm5wRWQyRnlOMHcyWkU5U2J5OVdiWFUyYURaUVNIZ3diRkZzWms1WmJpdHlWM1pLYW5GWFEwZDFXaTk1VUhocGMxcE9jRlV5VTJOQlpqQklkRFF6YjJwU1MyZHZlbGhqVkU5WFNraFhhR2xCTVVaT00wWXlhMUZFWW1aRmVWaHVLM0ZIYWtsNFN6ZFJSRzVWZWl0NU5qWmhlbXhzYTJ4elNIQkdZV2N6VjJoTk4wVkpiMmN6U3pJM09HSjROekpYUzNGd1MxRlRVa3Q0Wm14V2JrWkJZbGxpWjJoMVlqTlNialpxY2tnNE1WQkxZMGh1YVVWbFpqaDBPSE5aYXpsaFpsSkZiM1F6V0VGUWJFdENkR3hyUFE9PTpDamVmVEFEdDA2OEJYb25kVzhlVjB3PT0=
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
-
Formal Methods For Software EngineeringeBook10%Springer International Publishing72,86€ 10% CARTÃO
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis