Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FM'99-: formal methods : world congress on formal methods in the development of computing systems Toulouse, France, september 1999, proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davis, (eds.) por World Congress on Formal Methods in the Development of Computing Systems (1999 : Tolulous, Francia) | Wing, Jeannette M [editor] | Woodcock, Jim [editor] | Davis, Jim [editor]. Series Lectures notes in computer science ; 1708-1709Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 C645 1999.
|
|
|
FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, march 12-16, 2001 : proceedings / Jose Nuno Oliveira, Pamela Zave, eds. por International Symposium of Formal Methods Europe (10 : 2001 : Berlin, Alemania) | Oliveira, Jose N [editor] | Zave, Pamela, 1948- [editor]. Series Lecture notes in computer science ; 2021Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2001Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 2001.
|
|
|
FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen, (eds.) por International Symposium of Formal Methods Europe (1993 : Odense, Dinamarca) | Woodcock, Jim [editor] | Larsen, P. G. (Peter Gorm), 1964- [editor]. Series Lecture notes in computer science ; 670Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 1993.
|
|
|
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran eds. por International Symposium of Formal Methods Europe (2 : 1994 : Barcelona, Espana) | Naftalin, Maurice, 1951- [editor] | Denvir, Tim, 1939- [editor] | Bertran, Miguel [editor]. Series Lecture notes in computer science ; 873Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577.
|