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