Idioma:

FME '93 industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings

International Symposium of Formal Methods Europe (1st 1993 Odense, Denmark) Jim Woodcock; P. G Larsen 1964- (Peter Gorm)

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

Título:
FME '93 industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings
Autor: International Symposium of Formal Methods Europe (1st 1993 Odense, Denmark)
Jim Woodcock; P. G Larsen 1964- (Peter Gorm)
Assuntos: Computer software -- Development -- Congresses; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS (CONGRESSOS); ENGENHARIA DE SOFTWARE
Notas: Includes bibliographical references
Notas Locais: Serie : lecture notes in computer science ; 670
Títulos relacionados: Série:Lecture notes in computer science 670
Editor: Berlin New York Springer-Verlag
Data de criação/publicação: c1993
Formato: xi, 689 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados