10% de desconto

Computer-Aided Verification

de American Mathematical Society
idioma: inglês
Editor: American Mathematical Society, junho de 1991 ‧
166,28€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

Computer-Aided Verification

de American Mathematical Society

Propriedade Descrição
ISBN: 9780821865941
Editor: American Mathematical Society
Data de Lançamento: junho de 1991
Idioma: Inglês
Encadernação: Capa dura
Tipo de produto: Livro
Coleção: Dimacs: Series In Discrete Mathematics And Theoretical Computer Science
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9780821865941

LIVROS DA MESMA COLEÇÃO