Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: International Symposium of Formal Methods Europe 17 träffar

Titel Författare År Språk
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 FME '94: Industrial Benefit of Formal Methods International Symposium of Formal Methods Europe 1994 Engelska
13 FME'96: Industrial Benefit and Advances in Formal Methods International Symposium of Formal Methods Europe 1996 Engelska
14 FME '97: Industrial Applications and Strengthened Foundations of Formal Methods International Symposium of Formal Methods Europe 1997 Engelska
15-16 FME 2002 - formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings (flera utgåvor) International Symposium of Formal Methods Europe 2002 : Copenhagen) cop. 2002 Engelska
17 FME 2003. - formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings Italy) International Symposium of Formal Methods Europe 2003 : Pisa 2003 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.