skip to main content

Sair
Identificação

Idioma:

Computer aided verification proceedings

International Conference on Computer-Aided Verification (4. 1992 Montreal) Gregor von Bochmann

Berlin Springer 1993

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

Enviar para

Título:
Computer aided verification proceedings
Autor: International Conference on Computer-Aided Verification (4. 1992 Montreal)
Gregor von Bochmann
Assuntos: ENGENHARIA DE SOFTWARE; TEORIA DA COMPUTAÇÃO
Notas Locais: [Ed] david karl probst
Editor: Berlin Springer
Data de criação/publicação: 1993
Formato: 422 p.
Idioma: Inglês

Links

Este item no Dedalus

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento