10% de desconto

Computer-Aided Reasoning eBook

Acl2 Case Studies

idioma: inglês
Editor: SPRINGER US, abril de 2013 ‧
237,84€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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.

Computer-Aided Reasoning

Acl2 Case Studies

Propriedade Descrição
ISBN: 9781475731880
Editor: SPRINGER US
Data de Lançamento: abril de 2013
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
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