1 |
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods electronic resource : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas
|
International Symposium of Formal Methods Europe
|
uuuu-uuuu |
Okänt |
2 |
FME 2003: Formal Methods electronic resource : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / edited by Keijiro Araki, Stefania Gnesi, Dion Mandrioli
|
Italy) 2003 : (12th International Symposium of Formal Methods Europe Pisa
|
uuuu-uuuu |
Okänt |
3 |
FME 2002: Formal Methods - Getting IT Right electronic resource : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / edited by Lars-Henrik Eriksson, Peter A. Lindsay
|
Denmark) International Symposium of Formal Methods Europe Copenhagen
|
uuuu-uuuu |
Okänt |
4 |
FME 2001: Formal Methods for Increasing Software Productivity electronic resource : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings / edited by Jose N. Oliveira, Pamela Zave
|
Germany) International Symposium of Formal Methods Europe Berlin
|
uuuu-uuuu |
Okänt |
5 |
FM 2009: Formal Methods electronic resource : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / edited by Ana Cavalcanti, Dennis Dams
|
Netherlands) 2009 : (16th International Symposium of Formal Methods Europe Eindhoven
|
uuuu-uuuu |
Okänt |
6 |
FME '93: Industrial-Strength Formal Methods electronic resource : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings / edited by James C.P. Woodcock, Peter G. Larsen
|
Denmark) 1993 : (1st International Symposium of Formal Methods Europe Odense
|
uuuu-uuuu |
Okänt |
7 |
FME '96: Industrial Benefit and Advances in Formal Methods electronic resource : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. / edited by Marie-Claude Gaudel, James Woodcock
|
International Symposium of Formal Methods Europe
|
uuuu-uuuu |
Okänt |
8 |
FM 2008: Formal Methods electronic resource : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings / edited by Jorge Cuellar, Tom Maibaum
|
Finland) 2008 : (15th International Symposium of Formal Methods Europe Turku
|
uuuu-uuuu |
Okänt |
9 |
FME '94: Industrial Benefit of Formal Methods electronic resource : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran
|
International Symposium of Formal Methods Europe
|
uuuu-uuuu |
Okänt |
10 |
FM 2011: Formal Methods electronic resource : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings / edited by Michael Butler, Wolfram Schulte
|
Ireland) 2011 : (17th International Symposium of Formal Methods Europe Limerick
|
uuuu-uuuu |
Okänt |
11 |
FM 2012: Formal Methods electronic resource : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Mery
|
France) 2012 : (18th International Symposium of Formal Methods Europe Paris
|
uuuu-uuuu |
Okänt |
12 |
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
|
Ont.) 2006 : (14th International Symposium of Formal Methods Europe Hamilton
|
uuuu-uuuu |
Okänt |
13 |
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
|
England) 2005 : (13th International Symposium of Formal Methods Europe Newcastle upon Tyne
|
uuuu-uuuu |
Okänt |
14 |
FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
|
Germany), International Symposium of Formal Methods Europe 2001 : Berlin International Symposium of Formal Methods Europe
|
2001 |
Engelska |
15 |
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 International Symposium of Formal Methods Europe
|
1996 |
Engelska |
16 |
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 International Symposium of Formal Methods Europe
|
1997 |
Engelska |
17-18 |
FME 2001 - formal methods for increasing software productivity : international symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
(flera utgåvor)
|
|
cop. 2001 |
Engelska |
19 |
FME '94: Industrial Benefit of Formal Methods
|
International Symposium of Formal Methods Europe
|
1994 |
Engelska |
20 |
FME'96: Industrial Benefit and Advances in Formal Methods
|
International Symposium of Formal Methods Europe
|
1996 |
Engelska |