| 1 |
Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / edited by Eerke Boiten, John Derrick, Graeme Smith
|
England) 2004 : (4th International Conference on Integrated Formal Methods Canterbury
|
uuuu-uuuu |
Okänt |
| 2 |
Integrated Formal Methods electronic resource : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / edited by Eerke Boiten, John Derrick, Graeme Smith
|
England) 2004 : (4th International Conference on Integrated Formal Methods Canterbury
|
uuuu-uuuu |
Okänt |
| 3 |
Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
|
Germany) 2000 : (2nd International Conference on Integrated Formal Methods Dagstuhl Castle
|
uuuu-uuuu |
Okänt |
| 4 |
Integrated Formal Methods electronic resource : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings / edited by Michael Leuschel, Heike Wehrheim
|
Germany) 2009 : (7th International Conference on Integrated Formal Methods Düsseldorf
|
uuuu-uuuu |
Okänt |
| 5 |
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
|
Netherlands) 2005 : (5th International Conference on Integrated Formal Methods Eindhoven
|
uuuu-uuuu |
Okänt |
| 6 |
"Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings"
|
International Conference on Integrated Formal Methods
|
2007 |
Okänt |
| 7 |
"Integrated Formal Methods: 7th International Conference, IFM 2009, D©ơsseldorf, Germany, February 16-19, 2009, Proceedings"
|
International Conference on Integrated Formal Methods
|
2009 |
Okänt |
| 8 |
"Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings"
|
International Conference on Integrated Formal Methods
|
2010 |
Okänt |
| 9 |
"Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings"
|
International Conference on Integrated Formal Methods
|
2012 |
Okänt |
| 10 |
"Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings"
|
International Conference on Integrated Formal Methods
|
2000 |
Okänt |
| 11 |
Integrated Formal Methods electronic resource : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings / edited by Dominique Méry, Stephan Merz
|
France) 2010 : (8th International Conference on Integrated Formal Methods Nancy
|
uuuu-uuuu |
Okänt |
| 12 |
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (editors)
|
England) 2007 : (6th International Conference on Integrated Formal Methods Oxford
|
uuuu-uuuu |
Okänt |
| 13 |
Integrated Formal Methods electronic resource : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
|
Italy) 2012 : (9th International Conference on Integrated Formal Methods Pisa
|
uuuu-uuuu |
Okänt |
| 14 |
Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds
|
Finland) 2002 : (3rd International Conference on Integrated Formal Methods Turku
|
uuuu-uuuu |
Okänt |
| 15 |
IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 / Keijiro Araki, Andy Galloway, and Kenji Taguchi (editors)
|
England) International Conference on Integrated Formal Methods York
|
uuuu-uuuu |
Okänt |
| 16-17 |
Integrated formal methods - Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
(flera utgåvor)
|
International Conference on Integrated Formal Methods 2002 : Turku)
|
cop. 2002 |
Engelska |
| 18-19 |
Integrated formal methods - second international conference,IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings
(flera utgåvor)
|
International conference on integrated formal methods 2000) Dagstuhl castle :
|
cop. 2000 |
Engelska |
| 20 |
Integrated formal methods - 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
|
UK) International Conference on Integrated Formal Methods 2004 . Canterbury
|
2004 |
Engelska |