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
YjJKcE0yRkVOazFCVnpkalRtZEZkR3BxUVhVMFpXMVNaRlUxZUZScE9YRjJSVzFVZDJnelUySkdVR2xIVVZacVRYZFBNMDExZVZkcFV6SXhVRGhDUXpZNVZYVkxhekZoT0VzeFFUQk9UVTl1YkhWM1NWcEpVa2RNYkVrMEwwaHlUamRKYnpCdWMxZGhNM29yT1ZGNVdXOXZhM2hZZFV0cVprMDRZbGxtYzFkUVYzbDBTRXgxZVVKd2FIaEVOR28yTUZsdFVubGFRMVZpY1ZCb05rSm9OVWxTWkhFeWNVRXdRVkpzUzFWdlNtOW5kVXRvWVd0bE9HRlZNMlJqWVhjME5qRkNPR1V4U0djemFEbDNPVlJQWjFKTmRXc3paR1o0VUhsM2NWZFBaekJPUVZGeVNVdGxSbWxMYWxNcldWQmFkbEl6WjNSSVZTc3lNRTlxUzFJMlNXcFpaV1JrUzFCSFZXeEpRVWw1Ym5kVU5taE9kV3QzZUcwdk9IUnNPWGd6YkVkamFHWlVhblpMWVRaR1VHWmhjQzk0TUZGU1NGRkdiR1ZXZDNGMVMyOVdPVUl4WVVWR2RqWkdlRmRPTmt0WWNtVnNlazVPY25CS1NrVllabFJCTUhGWlYxbGpaeXM1TDBkdU5rTnZlbWh3UVRoYVprTkxZMjR6TmpCVFpERnhXRlZoZFZaTmJtbFlPQzlNZDJZelIwaEhTa293YWtwRE1VcEVXREJYVnk5a1JIWnlNbHBzWm1nNVdFMXVNRTAzTVZSb1duUlNkRzlQY0VjdmRHVllha05NZEdSd1ZXcHhOak1yTlZKaU0xTnZkRlZLZFdsbUsyeFhaalpaYmt0NlMxRnNVVGxZZUU0MFZUaDJTbXhXY1NzdlkyaEpNMnQ0T1RaelFWQTRTMjFtUkhGQlZHaG5LMGRRVVdGb1ptNTRhVk5hVVZWQmQxRlBkSEZqV25VM1JsSTBlVVpvZFUwM2JuaERZMGRIUlV4S1dIcFlValpZUkVsbGQwUjRWbWhsTURreldWVTVSVXRHVGtObVNubFpSR040Y1cxRVYxZGxZVFF4T1hWR2NDOUxNMXBKY2trMk0ySmtaVEp2ZEVsNFRrWndhVkJ1VFN0YU9YbE9jV0pNWkdkWVkxVkpTbW94Ym1Ga09XSnllRFpyU0VOWmNGaHhTRUZwZFVaaU1rODVha2xNU1dSdU1FUnVUbkI2ZVZWWWJEVkhkalY2ZVRselpqbHVaRmhvY25NMFJuSnhWbWRvWjJkemJGVllhRmhuY25sNFNsUk1Wa3B5YmxjeWJFRmxVVXRPTUZOVlYzUXZZak5SUFE9PTo2cVJ3YlRtVzZ0TDZ4SmxvRXMrWWZ3PT0=
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 |
| Formato e Compatibilidade: | PDF para ADE |
| 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
-
Object-Z Specification LanguageeBook10%SPRINGER US237,84€ 10% CARTÃO
-
Computer-Aided ReasoningeBook10%SPRINGER US297,46€ 10% CARTÃO