Idioma:

Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings

International Workshop on Current Trends in Applied Formal Methods (1998 Boppard, Germany) Dieter Hutter

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

Título:
Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Autor: International Workshop on Current Trends in Applied Formal Methods (1998 Boppard, Germany)
Dieter Hutter
Assuntos: Formal methods (Computer science) -- Congresses; ENGENHARIA DE SOFTWARE
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 1641
Editor: Berlin Springer New York
Data de criação/publicação: c1999
Formato: xi, 376 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados