Idioma:

FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-

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

Título:
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Autor: World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France)
Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-
Assuntos: Formal methods (Computer science) -- Congresses; Application software -- Development -- Congresses; ENGENHARIA DE SOFTWARE
Notas: Includes bibliographical references and indexes
Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 1708-1709
Editor: Berlin Springer New York
Data de criação/publicação: c1999
Formato: 2 v. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados