Idioma:

Computer aided verification 11th International Conference, CAV'99, Trento, Italy, july 6-10, 1999 ; proceedings

International Conference on Computer-Aided Verification, CAV'99 (11th 1999 Trento, Italy) Nicolas Halbwachs; Doron Peled 1962-

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

Título:
Computer aided verification 11th International Conference, CAV'99, Trento, Italy, july 6-10, 1999 ; proceedings
Autor: International Conference on Computer-Aided Verification, CAV'99 (11th 1999 Trento, Italy)
Nicolas Halbwachs; Doron Peled 1962-
Assuntos: CIÊNCIA DA COMPUTAÇÃO; ENGENHARIA DE SOFTWARE; VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
Notas: Includes bibliographies and index
Títulos relacionados: Série:Lecture notes in computer science 1633
Editor: Berlin Springer New York
Data de criação/publicação: c1999
Formato: xii, 506 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados