FME 2002: Formal methods - getting IT right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 ; proceedings

Lars-Henrik Eriksson d; Peter Alexander Lindsay

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

Título:
FME 2002: Formal methods - getting IT right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 ; proceedings
Autor: Lars-Henrik Eriksson d; Peter Alexander Lindsay
Assuntos: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS (CONGRESSOS)
Notas: Internat. conference proceedings
Títulos relacionados: Série:Lecture notes in computer science 2391
Editor: Berlin Springer
Data de criação/publicação: 2002
Formato: xi, 624 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados