年 〜
年

検索結果 4 件

FM 2011: formal methods : 17th international symposium on formal methods : Limerick, Ireland, June 20-24, 2011 : proceedings : Jun 2011, Limerick, Ireland. (Lecture Notes in Computer Science ; 6664)

FM 2011: formal methods : 17th international symposium on formal methods : Limerick, Ireland, June 20-24, 2011 : proceedings : Jun 2011, Limerick, Ireland. (Lecture Notes in Computer Science ; 6664)
紙図書
Springerc2011.<M17-12-19>
国立国会図書館
  • 著者標目...rick, Ireland) Butler, Michael, 1967- Schulte, Wolfram. Formal Meth...

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)
紙図書
Springerc2009.<M17-09-2200>
国立国会図書館
  • 著者標目...mplex Systems) Butler, Michael, 1967- Workshop on Methods, Models a...

Formal methods and software engineering : 9th international conference on formal engineering methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : proceedings. : Nov 2007, Boca Raton, FL. (Lecture Notes in Computer Science ; 4789)

Formal methods and software engineering : 9th international conference on formal engineering methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : proceedings. : Nov 2007, Boca Raton, FL. (Lecture Notes in Computer Science ; 4789)
紙図書
Springerc2007.<M17-08-124>
国立国会図書館
  • 著者標目Florida Atlantic University. Butler, Michael, 1967- Hinchey, Michael G. (Michael ...

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)
紙図書
Springer2002.<M17-03-56>
国立国会図書館
  • 著者標目Abo Akademi University. Butler, Michael, 1967- Petre, Luigia, 1974- Sere, K....

検索結果は以上です。