Idioma:

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings

CAV (Conference) (5th 1993 Eloúnda, Greece) Costas Courcoubetis

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

Título:
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Autor: CAV (Conference) (5th 1993 Eloúnda, Greece)
Costas Courcoubetis
Assuntos: Computer software -- Verification -- Congresses; TEORIA DA COMPUTAÇÃO; ENGENHARIA DE SOFTWARE
Notas: Includes bibliographical references
Títulos relacionados: Série:Lecture notes in computer science 697
Editor: Berlin New York Springer-Verlag
Data de criação/publicação: c1993
Formato: ix, 504 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados