yr 〜
yr

Search results 3

Teaching formal methods : second international conference, TFM 2009 : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 2nd international FME conference on teaching formal methods : 1st formal methods week (FMWeek) : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5846)

Teaching formal methods : second international conference, TFM 2009 : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 2nd international FME conference on teaching formal methods : 1st formal methods week (FMWeek) : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5846)
Paper図書
Springerc2009.<M17-10-1645>
National Diet Library
  • Subject HeadingFormal methods (Computer science) -- Study and teaching -- Congresses. Computer software -- Developm...

Teaching formal methods : CoLogNET/FME symposium, TFM 2004 : Ghent, Belgium, November 18-19, 2004 : proceedings. : Nov 2004, Ghent, Belgium. (Lecture Notes in Computer Science ; 3294)

Teaching formal methods : CoLogNET/FME symposium, TFM 2004 : Ghent, Belgium, November 18-19, 2004 : proceedings. : Nov 2004, Ghent, Belgium. (Lecture Notes in Computer Science ; 3294)
Paper図書
Springerc2004.<M17-05-962>
National Diet Library
  • Subject HeadingFormal methods (Computer science) -- Study and teaching -- Congresses. Computer software -- Developm...

Teaching formal methods : second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, proceedings

Teaching formal methods : second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, proceedings
Paper図書
Jeremy Gibbons, José Nuno Oliveira (eds.)Springerc2009
Other Libraries in Japan

Reached to the end of result.