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
ZFZOYVVqSldOVmRIWm5CTVEzbFpZMVJtVm1KdUwzZGxRMXA2ZUhGSFMwNTZSMVJUUmtKTldtbHFVRzlsS3psNmJscDNZalpRU2k5aGNUSTNTMWhtZGs5NUt6SjNaamN3WmxFeFdHZzFUemRHWm1ZNFNuSmxOMDFEUkhscloyaEdaVVJEZDBSS09GbEdTV1pLUnpGUmFteEtVWFZ6YTJZclNUUmljV2czTW0xcmRFeHhLMEp1VFRWR1NqTm9lalpGTTBsRmRuTkJPWEZEYzJ4bVYyTXpRMmRKUmxsT1NtNHhkMFJPUWl0S2QwaHRTelJoVm1jMlVGQk9ORzhyY2pCaFRUZE5SVlZzZGxaSGNVVktNM2xOV1ZOVE9HUlBVV1pZUVhSeU9XTmxSWGxPT1RWNFdrTmFSM0kwT1RCeFFsUm9kM2R1WlV4b1drZG1XVWx5WTJKblRFSnJRakU1VWpORmFuQmhORlEyV0ZCcWNWbHNXSGxVVlZjM1pYWjFLMFoxTTFkcFYxbHdOR2g1UTFaT1MySmxabkZSTHpobVRHUlBaSEpIYXpOaU5rbE1hR28yUVRBeVZISmtTazF1YjAxaVVEVmxSVkF2UjBoMUwza3pOa0UxUlhWeVJ6bGpkbEEwUVVnNUszUnNhVzAwVW1jM2FqSmhlbXhhVDNneFdWWkpTRVpEY2pjNWRYbzNRVTlGTVdkM2QwRkRkalVyTkVSeVVVZG1VV3h0Y0djNU9XTjNWREo1ZFZBeVZGaHBaVzloTUZoMlJIRk9TMFZVV2pBelpub3dWbGRMY0ZSRk5XUXljWEphVVZaNVZUWTFZa3h2VWpSaWFrdE1SM1ZMWWpCcGJGcDVaVUpzVlc1elpYTm5SMUJLWmtaSFNHOVFaMDg0Uldsc1lWZFRiazAwUTNKaFZuWkliMGh6ZWtKR1VsVlVhVTFOT1c5bk1WWXllbVpWVVRGVFFuWTVXV2xGZDJjMldVdDRWM3BGWmxkTmNuRkNhMHRVUlUxdFIzSjVjV3A1Y0dOVGVtZzBSalpvZEhSVmRuUjVjRFJyVFVOV1dqTk9kekJNY2xkTlJteFVjV2xhT0RKbmMydDZhR28wVm5OTWRqSTRNVEprVEZaeVJGb3lSbU5uYkRKb09FWlpMMlYxY1RCdFNGSkRWemxXYVdGV05XRjBiMEpIWTFNMlNYSlBaVnBrTlVWUlFWcFViRW9yUzJvM00xWlNhWFZuYjFWaGFHSnlUV3BNVFhwSE4yczFOaTg0UVVSNU9VZzVXbWd5TUd0emFIRldaRFZ2YWxRd2VuaExOM3BwU2tRMmJ6TmxSMnhSUFE9PTpLOEFKbkJSL3pieElLSmZQNUFRR053PT0=
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