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
VVhkbE1WTjJZMlJzV2xWcWNFOVhabEp2Wm1Wd1Qwa3piMlowT1d4WE9WcE5hR1JOVURWMFVrUmthRmh0WWtSMU1UWlpSVFo2UkdsS0syb3dZblIyYUVKM1ltSmlSVFJuV1dSUGFqUXhVMGg2YUZaVE4wbDRheTlaWm1WWk5UZHdkWFJqZVdOWFUwUjFhSFJ0WkVwcmR6RlplV0ZMUlVKNUwzTk9NWEZYTjNWQ1lWVkpXQzh6VjFkUVFWaG9lbFZFVkZaR1ozUjNOVUZ1TWt0VWJXa3lhSFZLZUdaMWJIZFdhV1l4Tm5SWGJFODRlVGRHVURBM1dGWklZa2hZTTJWUFVVRjNZbGxaYVhOSk1ta3lORzlSV2pNelFVSlVSemhKVG1WS1ZUWlBRVkpqU1ZCSVdFSTJkbVJyVERCclFreHpOR2QzVW5KeU1HTTJiVXhpYXk5QmIyVlZiVzFhYlN0VFF5dHBWelV2TmpaelpVcDRPRmhwTVd0d2VrNHJURkJHTlc5NWNFOUJUVkpCYTNGbE9YSkZWV2MwWlZscGJXZFFLMjFJVm1FMkwydzRkM2xKVm1sT2FVeGFRWEExYjFkTmRIbHNURFk1TlZabU5sZEtUSEJ1VEU1d1EyZE5jV0ZPWnpJMFNEaEJVM2wwY1UxUFptNTFlRk0wTmxRck9GSnJiMlZuY1dOM2VHZ3dUVTAwVFZNNFFVWmlTRnAzT0RWeFZuTkZkMHhOU25Bck5IaE9NMlIwTWxkTk1HbEVRalkyV0hRd2RHbzRkekZ4Tml0MWRtOVNTa1J6ZDNSWUwwbFhUSFVyVUM5b056SXplRlJJZEZCU2EzUjJVVzlOZVVZMU1GRjFLMGRxZUc0dlpGbFRhMmxuU0ZaRFEwaEpWVmwwWlZoSFRucFJNaXMxU1ZWMVVFWmlSSFlyV2xocVFVODVlVTVhSzBkWU1WVm9kVVpSYTJaSGFDdFBhVmgzUTJoSE9WWnBRMEZGTWpsc2NHNDFTR3d4Vmk5Q1prdG1lVTVMVUhGaVNEWnpVVlZHVkUxV2QycHlXRk5oWTFnMlpteDZaMDk1TDFGMFZrZFJiVGxuUkdSMFRYRllORVI0WkRad1dGRmFNRGxrYTBVclRtWk9ja0poYTNoaVREZzNTMHRUUmpadFpXUmpUU3RHUldkeFkzQkNhMDF3WldOSGJtWkxSblo1YmtSbVdWY3dkMmxPUVdORU5GYzNjWEF6UzBobU0xZzBSMlF4VTNFeVJUbDJZekJRT1dGNlRtRkROVFpGUmlzMU4xRlZiVmRpUms5SlNrdzBPVlJzTm14d1RIZDBjR1ZyUFE9PTpiSTI1YVY0NTcyU1lIa3dqL3o4VDZRPT0=
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781475731880 |
| Publisher: | SPRINGER US |
| Release Date: | April of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Advances In Formal Methods |
| Categories: |
eBooks in English
>
Computing
>
Other Applications
|
| EAN: | 9781475731880 |
BOOKS FROM THE SAME COLLECTION
-
Object-Z Specification LanguageeBook10%SPRINGER US237,84€ 10% CARD
-
Computer-Aided ReasoningeBook10%SPRINGER US297,46€ 10% CARD