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
VGpCRVZFSldPRzA1U1RSR2VtSnhZMHRtTVZGVVpEaHFPR016V0ZwTFJHZHNlbFJVWlZSd1ExQnpVMUZFTDNBcmFIQnJPVVptUzBaYVFuQTBXbGMzU20wMFQwZERSV2RVVTBNNWJtMVFNbEpLVGtrM2VqZHhORkI1V0hkc2VHWlJXRU5JUVdoRGRITktWVmRLTjJrM2NGWkpiWHBXTWxwUmRIUjRjR3hITldOb1ZFTkhlazQzWW1wSlVXSTJhMUZGYWxkRGEwSnZMMkZWZWpGSk4zRXdOalIzWmtsSU0xSmxhREZsY3pSSGNIaHpibU5uZVVacE1sbHVibkI0T1ZSTlZGVTFVazlvYkZkVVlrZzBXSHBrWWxSdlFWRlVjSFJEVVdka1lsQlFZVkpxV1M5TVVtdGljVUYzYzJRM1EyZEVTMHR5YVc5a2F6TkxabEpZU2twR1kzZzNlQ3M1V25wdGRsRlhhRmx6UkdSMFl6Tm5RVGQxWTJ4Q2FFSktVemN4YWxaT2QxcExTMUZZY21WTWRGWnRZbkF2VEdKUVIwTndhbXBtTld0R09IaDJjMGxMUjB4VmVXZFVSVTV3Y0VWRGRWTXZOVWRtWVU0cll6UlNUWEJDTXk5emNsUkVaVXBaZFV0a2VGWlBXbmRDZFhKSk9HTnBMM2d4UlhOTk1YcEZiazEzY1RSdlZHVXdibGM1YWpsdVkzTnFRWGhWZFUxc1QwNWFkbXd6YWsxT2VISXpUMmRIVjJkclFVRmtPR1I0Ukc4NVoxWm5WRTVuTWxKVlNtTkhXbnByVUNzNFVqaDJUbXR4TkUxTFZqWk9SR3hYT1hZeVRtSk9ZWFJZZDI0MmJtWTRVVkpPUlhoQ2REWjRVSE14TVNzeldqSjVVSGhpUWtwS2NVMUxTSE56WW5BeVJVeHpNRm96VEhVNVVVZENiVkJKYkhsbFdsRXpSUzh3ZVRCTVptUTBiaTlZTURrNVpGQk5OVmhESzB0M01YcEVkVzFtYkZKUlIyUkdkbkoxUzJkcFYwNVVhRTlWUjFGS2JtSjBNRUpKVlhGbWRHazRjREFyWkUxSWFrNWhZbXhrZFhKMFFVNXNOV1ZGZVRkS1luZEtkVzVRUzNCSlJXczJRa2xTY21JNWVtNDJWbFJoTkhSNVFUazJkMUpFVldSSk1UY3ZOSGRDTTNsSmNHRnRTbEZsTkdSNVZqQnVSRkJ0YTNsYWJrNWpVSGQyTlN0RE5FRTFlWGhSVVdJMGMzUnZkRGxZVEhsTlpHbFdaelZOZERRcllYQkVSbEl2V2xWWFpXVklUVFY1UkdWcmJuTnJORTA0UFE9PTpRN2g5eHhPcUtlTzJnajhOZThTSEFnPT0=
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 |
| 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
-
eBook10%Object-Z Specification LanguageSPRINGER US237,84€ 10% CARTÃO
-
eBook10%Computer-Aided ReasoningSPRINGER US297,46€ 10% CARTÃO