FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
| Otros autores o Colaboradores: | , , |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Berlín :
Springer-Verlag,
c1994
|
| Edición: | 1st ed. |
| Series: | Lecture notes in computer science
87 |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Incluye referencias bibliográfica |
| Descripción Física: | xi, 723 p. : il. ; 24 cm. |
| ISBN: | 3540585559 |