Treffliste - International Conference on Formal Engineering Methods - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

6 treff

Sortering

Forsidebilde

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

International Conference on Formal Engineering Methods
Inngår i serie: Lecture notes in computer science (4260)
Bok Engelsk c2006

Forsidebilde

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

International Conference on Formal Engineering Methods
Inngår i serie: Lecture notes in computer science (3785)
Bok Engelsk c2005

Forsidebilde

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings

International Conference on Formal Engineering Methods
Inngår i serie: Lecture notes in computer science (2495)
Bok Engelsk c2002

Forsidebilde

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

International Conference on Formal Engineering Methods
Inngår i serie: Lecture notes in computer science (2885)
Bok Engelsk c2003

Forsidebilde

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings

International Conference on Formal Engineering Methods
Inngår i serie: Lecture notes in computer science (3308)
Bok Engelsk c2004

Forsidebilde

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers

FATES 2003
Inngår i serie: Lecture notes in computer science (2931)
Bok Engelsk c2004

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk