adicionar à lista de desejos
Computer-Aided Reasoning eBook
Acl2 Case Studies
language: english
Publisher:
SPRINGER US, April of 2013 ‧
see product details
237,84€
10% OFF
CARD
VTB4eFVYaGhlWFJJWkVJNVEwVkhjeTlWZDJoRVZuSjNlSG8yVVRsMVVUWjFhbGt5SzB4VlZYSlJjemdyZWxwbFRXWkJORlJPYzNSd09VSjZlRFJsTlhKYVVURnlVM0E0U0dkVmJHZEpVa1oyYWxVd1ltVm9XamQyYVdwVlRsQTJZV1JLWmpKdmQzVkllV3hHWjJOelIzWjFOVk50VWxwUmRGbHdXamRRSzBGdlQwZzJUbkJ0WVVoVVdrcExSRzVoY1U1c1MwVm1OWFZvV21Vd1duSmhTR3hZYW14TVNXWlNhMk5sYVZKQlYwZHJXbEpsTTNWcmJFWjRNa1J0VjNSQ1l5OUdiR3N4Ym1KbWMwTnRVR3hHTHpjeGRtazNlVzFyTVdFd01FOW9URlpOZWlzcmFtWnlMMGh2U25Fck4yVTBUVlJTTUc0MlUyTmxjbTFZZUVaSVJYSndSWFJKT1dSRmRrdDBXWFpMVW1WR2RqaFViVkY0YkZwV1ZuRjZNbEpJVldZMU9ISXlSRGRpYmpselNYcDRRMDlOTlVKc1ZIaGtUbWxHYjBoUmIwbE5UMjlFUlZWaWVFRkdRVWRoU1hwa1UySmlMMVY2V2lzMFRuZGFVMGxKTkVsNlpsVXpORzh6VGpsblNUVlFVRzF3UzI5YVN6Y3lXV2wyTWtJM1kwRnRkV1ZoYzJoQ01IRkJZVE5PU1M5aFoxUnhXR2c0TDAxdU1XNXJTMk5wZVdGU1FqVnhlbEo2WlRKc1NGWnZOazAwTmtoMVdVTnRVWFV6UjBkNFdXWjNSMlY0U1dGWFdWSm5WVXQ1WTB0QmVreHpja2xSTlVGaFZHSXdUM2xoWWtJMGN6ZFFTRGs0YlhsMkt6YzRjbmt5Ykc5SlNXaEhVMEpqY0dZd2FWQndPRE5WVWpKTUwxaHBlalEzWlZkeU9XcGFiREJ1YWxFMmJqTnpTMEZ1ZVhRelFscDJMMWRrSzI4M1dtVjRZMFZsTm1oM1FrRmpSVkJZVURaNWEyUXJZMmRKSzFsMWFVMW9aalpRZERaNlVUWnVTMVZpWkcxVE5tNUVVMDFVT0hWNFNFbFZjRU5VTlhoME1XWmtiVE5KU1RsRkwyczFXVGRTY3pObUwxVnNRazFUTkZSRlIxbEZNa0ZoWW5sS1IyaHdiR3h0VXk4NFdDOXlXRXhIY21kdU1VZFFNa05OWWtaSVRVVkdSVkI1Wm5sSkwyWm5WbW93Wkc5TE0zbHFaWFZUYm14VlZVaDRhMGcxUW5vMlJGSnFjSEoxYTNweVYwRTRTMU00VlVweWJXUlpNVVk0U0RSTFUxZFZaazB3UFE9PTpGWXZoTlBwckhVV29Uc1c1RUNsQTlBPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9781475731880 |
| Publisher: | SPRINGER US |
| Release Date: | April of 2013 |
| Language: | English |
| Format: | eBook |
| Collection: | Advances In Formal Methods |
| Categories: |
eBooks in English
>
Computing
>
Other Applications
|
| EAN: | 9781475731880 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Object-Z Specification LanguageSPRINGER US237,84€ 10% CARD
-
eBook10%Computer-Aided ReasoningSPRINGER US297,46€ 10% CARD