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