10 treff

International Symposium of Formal Methods Europe
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2003 · Vis mer
FM 2005 : formal methods : International Symposium of Formal MethodsEurope, Newcastle, UK, July 18-22, 2005 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2005 · Vis mer
FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2001 · Vis mer
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 1994 · Vis mer
FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 1993 · Vis mer
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
Bok Engelsk 1997 · Vis mer
FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 1996 · Vis mer
VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991 : proceedings. 2. Tutorials
VDM Europe. International Symposium (4: 1991 Noordwijkerhout)
Bok Engelsk 1991 · Vis mer
VDM '90 VDM and Z- Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Bok Engelsk 1990 · Vis mer