Jump to main content

yr 〜
yr

Search results 15

Integrated formal methods : 17th international conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, proceedings : pbk

Integrated formal methods : 17th international conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, proceedings : pbk
Paper図書
Maurice H. ter Beek, Rosemary Monahan (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods Beek, Maurice H. ter Monahan,...

Integrated formal methods : 11th international conference, IFM 2014 : Bertinoro, Italy, September 9-11, 2014 : proceedings : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8739)

Integrated formal methods : 11th international conference, IFM 2014 : Bertinoro, Italy, September 9-11, 2014 : proceedings : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8739)
Paper図書
Springer[2014]<M17-15-1364>
National Diet Library
  • Author HeadingInternational Conference on Integrated Formal Methods (11th : 2014 : Bertinoro, Ita...

Integrated formal methods : 7th international conference, IFM 2009 : Dusseldorf, Germany, February 16-19, 2009 : proceedings. : Feb 2009, Dusseldorf, Germany. (Lecture Notes in Computer Science ; 5423)

Integrated formal methods : 7th international conference, IFM 2009 : Dusseldorf, Germany, February 16-19, 2009 : proceedings. : Feb 2009, Dusseldorf, Germany. (Lecture Notes in Computer Science ; 5423)
Paper図書
Springerc2009.<M17-09-1256>
National Diet Library
  • Author HeadingInternational Conference on Integrated Formal Methods (7th : 2009 : Düsseldorf, Ger...

Integrated formal methods : 10th international conference, IFM 2013 : Turku, Finland, June 10-14, 2013 : proceedings : Jun 2013, Turku, Finland. (Lecture Notes in Computer Science ; 7940)

Integrated formal methods : 10th international conference, IFM 2013 : Turku, Finland, June 10-14, 2013 : proceedings : Jun 2013, Turku, Finland. (Lecture Notes in Computer Science ; 7940)
Paper図書
Springerc2013.<M17-13-3364>
National Diet Library
  • Author HeadingInternational Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland...

Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7321)

Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7321)
Paper図書
Springerc2012.<M17-13-536>
National Diet Library
  • Author HeadingInternational Conference on Integrated Formal Methods (9th : 2012 : Pisa, Italy) De...

Integrated formal methods : 6th international conference, IFM 2007 : Oxford, UK, July 2-5, 2007 : proceedings. : Jul 2007, Oxford, UK. (Lecture Notes in Computer Science ; 4591)

Integrated formal methods : 6th international conference, IFM 2007 : Oxford, UK, July 2-5, 2007 : proceedings. : Jul 2007, Oxford, UK. (Lecture Notes in Computer Science ; 4591)
Paper図書
Springerc2007.<M17-07-2817>
National Diet Library
  • Author Heading... Jeremy, 1966- International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England...

Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings

Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
Paper図書
Jim Davies, Jeremy Gibbons (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods Davies, Jim Gibbons, Jeremy

Methods, models and tools for fault tolerance. : workshop on methods, models and tools for fault tolerance : MeMoT 2007 : Jul 2007, Oxford, UK. (Lecture Notes in Computer Science ; 5454. State-of-the-Art Survey)

Methods, models and tools for fault tolerance. : workshop on methods, models and tools for fault tolerance : MeMoT 2007 : Jul 2007, Oxford, UK. (Lecture Notes in Computer Science ; 5454. State-of-the-Art Survey)
Paper図書
Springerc2009.<M17-09-2200>
National Diet Library
  • Note (General)...n with the 6th international conference on Integrated Formal Methods, iFM 2007.
  • Author Heading...ford, England) International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England...

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings
Paper図書
Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods Romijn, Judi Smith, Graeme Po...

Integrated formal methods : 4th international conference, IFM 2004 : Canterbury, UK, April 4-7, 2004 : proceedings. : Apr 2004, Canterbury, UK. (Lecture Notes in Computer Science ; 2999)

Integrated formal methods : 4th international conference, IFM 2004 : Canterbury, UK, April 4-7, 2004 : proceedings. : Apr 2004, Canterbury, UK. (Lecture Notes in Computer Science ; 2999)
Paper図書
Springer-Verlagc2004.<M17-04-2965>
National Diet Library
  • Author Heading... Graeme, 1966- International Conference on Integrated Formal Methods (4th : 2004 : Canterbury, Eng...

Integrated formal methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings

Integrated formal methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
Paper図書
Eerke A. Boiten, John Derrick, Graeme Smith (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods Boiten, Eerke A. Derrick, Joh...

Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
Paper図書
Michael Butler, Luigia Petre, Kaisa Sere (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods Butler, Michael Petre, Luigia...

Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002, proceedings. : May 2002, Turku, Finland. (Lecture Notes in Computer Science ; 2335)

Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002, proceedings. : May 2002, Turku, Finland. (Lecture Notes in Computer Science ; 2335)
Paper図書
Springer2002.<M17-03-56>
National Diet Library
  • Author Heading...puter Science. International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland)

Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
Paper図書
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods Grieskamp, Wolfgang Santen, T...

IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
Paper図書
Keijiro Araki, Andy Galloway, and Kenji Taguchi (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods (1st : 1999 : York, England) ...

Reached to the end of result.

RSS