adicionar à lista de desejos
Computer-Aided Reasoning eBook
Acl2 Case Studies
idioma: inglês
Editor:
SPRINGER US, abril de 2013 ‧
ver detalhes do produto
237,84€
10% DESCONTO
CARTÃO
Y2xwMlYwWlFOQzlzS3pBck4wcEdNR00zVmtJMlpUWTNRMUJZZGpSb09YZDBXR2xCVW5aSk1GTnlVVnBJZVhwQkt6Uk9Za3hGZUVzeWVWSm5URkZtYkdkRWJpc3hhMWR3VWpOM1UzVTVNVkJpWWtwMU5HRnNTV3Q0VjNSamJYaFRiVk5JTWtWaFJXODRWRXA0TmpVd2IyNXFlSHBwWW1KT2RGZFVLMDVYVVRacWRuSTVVRlZwV0RWdlF6Sm9TbE5OVWpOT2RIQmFORmxoVFdaelFYcDBVa3RKVFZGR04wOVRRbUY2V0VaSlpWSjRaVmhWY1N0NU5rRmhXa1puTldrcllVMWhhVzE0VVdzNGJYZHBObHBTVVU5blNWVlJjakUwUm1sM1UxUnpjbEZGYTNsMlowNHliM1E0YVRoMFFtcDVhblUxV2xkSU5XaG9SRmhZT1RGSVZXTmpVbFF3WTFONFRucHVTRTVWU25kRVMyMUtNMmsxYVdaVUwzbFljWHB2ZW5WcmRHOTJNVVF4WjBSaWVFMU9WR0UwZEVSNk5FcDZiR3RyTUhCclNUWkVaeXRwYkc4dlUzcGFhMVJ2VUZsc1IzZFJiMlU0Y2tONFZXZFhZVmcyYlU1WEswTkNRbGhDVVhVM1QwWkVhV1JzU0RNek5IWXpjRWRSTDBGT2FEa3lUalJxTUd0SmJVdHBMekpTUjJoWmJ6WmFXRzgzVTB3eFowMTJZalk0YVRoa01tUnJXWFJYV0RkMFNWWkdOMHg1TVZWTE0xTXdPSEJ3ZVhsdVdYRlpTa3QyYlVzd1pXNW1lbTlNTlRoblZEWXZhV2c0TkRVd2VIWnNPRlpxTURWemFrbGljazUwVG1rcmNtUkxSVGQwVVVkd1RUTTVWSEozZWpFeFpuQnpkVFZSVnpkNU1HNXZTRVZCWlZKTVVVODVaalIyZG05MU5GQnNjRVZsZWxaTlNWUjVUVUpWZEZReWRHeEhTMmxyY1d0MUwyZElkVmR5VmxWdlNFeGlXRFJaVlZSdWFXRk1XRmN5ZFc1RVkyaFBjVmhITWtkMFpuVjVkMlJWZFVGSVVHdFpNMEoyV1dZek1rdGlhR2RrT1RoUGJHMVJaMjFtU0N0eGNXRXlNelYwZEZONFZIWjBkRUpTYlRkVVRWQm1URTVyTVd0M0wxTXlZalJJVDNRclJWUm1ZMlJSTkRFMGFVNDJVa1UxV1dwNVZVVlNTRWhUWWpKdFUybDBiMWhzY0RsS2NVaEhRa2swUmxGWFptUTNXRXhNU1hwRGNIUTRWemRqZG5SRE9WQjNWV2hCUTJGWmNFbEVWRGh6UFE9PTo3NFVRUk42Q3d0UjFEa1JvMmZIQjZ3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781475731880 |
| Editor: | SPRINGER US |
| Data de Lançamento: | abril de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Coleção: | Advances In Formal Methods |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Outras Aplicações
|
| EAN: | 9781475731880 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Object-Z Specification LanguageSPRINGER US237,84€ 10% CARTÃO
-
eBook10%Computer-Aided ReasoningSPRINGER US297,46€ 10% CARTÃO