Idioma:

FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings

International Symposium of Formal Methods Europe (4th 1997 Graz, Austria) John Fitzgerald 1965-; C. B Jones (Cliff B.) 1944-; Peter Lucas 1955-

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

Título:
FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
Autor: International Symposium of Formal Methods Europe (4th 1997 Graz, Austria)
John Fitzgerald 1965-; C. B Jones (Cliff B.) 1944-; Peter Lucas 1955-
Assuntos: System design -- Methodology -- Congresses; ENGENHARIA DE PROGRAMAS -- CONGRESSOS; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS (CONGRESSOS); ENGENHARIA DE SOFTWARE
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 1313
Editor: Berlin New York Springer
Data de criação/publicação: c1997
Formato: xiii, 684 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados