Idioma:

Theorem provers in circuit design theory, practice and experience : proceedings of second international conference, tpcd'94, bad herrenalb, germany, september 26-28, 1994

International Conference on Theorem Provers in Circuit Design (2. 1994 Bad Herrenalb, De) Ramayya Kumar; Thomas Kropf

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.901 e.1 ) e outros locais(Acessar)

Título:
Theorem provers in circuit design theory, practice and experience : proceedings of second international conference, tpcd'94, bad herrenalb, germany, september 26-28, 1994
Autor: International Conference on Theorem Provers in Circuit Design (2. 1994 Bad Herrenalb, De)
Ramayya Kumar; Thomas Kropf
Assuntos: ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES
Editor: Berlin Springer
Data de criação/publicação: 1995
Formato: 303 p.
Idioma: Inglês

Links

Voltar para lista de resultados