Jump to main content

yr 〜
yr

Search results 18

FM 2015: formal methods : 20th international symposium : Oslo, Norway, June 24-26, 2015 : proceedings : formal methods Europe : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9109)

FM 2015: formal methods : 20th international symposium : Oslo, Norway, June 24-26, 2015 : proceedings : formal methods Europe : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9109)
Paper図書
Springer[2015]<M17-16-369>
National Diet Library
  • Author Heading...rner, Nikolaj. Boer, Frank S. de.

Formal methods for components and objects : 11th international symposium, FMCO 2012 : Bertinoro, Italy, September 24-28, 2012 : revised lectures : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7866. State-of-the-Art Survey)

Formal methods for components and objects : 11th international symposium, FMCO 2012 : Bertinoro, Italy, September 24-28, 2012 : revised lectures : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7866. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-14-730>
National Diet Library
  • Author Heading...ähnle, Reiner. Boer, Frank S. de. Bonsangue, Marcello M. Unive...

Formal methods for components and objects : 8th international symposium, FMCO 2009 : Eindhoven, the Netherlands, November 4-6, 2009 : revised selected papers. : formal methods week : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 6286. State-of-the-Art Survey)

Formal methods for components and objects : 8th international symposium, FMCO 2009 : Eindhoven, the Netherlands, November 4-6, 2009 : revised selected papers. : formal methods week : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 6286. State-of-the-Art Survey)
Paper図書
Springerc2010.<M17-11-2030>
National Diet Library
  • Author HeadingBoer, Frank S. de. FMCO 2009 (2009 : Eindhoven,...

Formal methods for components and objects : 9th international symposium, FMCO 2010 : Graz, Austria, November 29-December 1, 2010 : revised papers : Nov 2010, Graz, Austria. (Lecture Notes in Computer Science ; 6957. State-of-the-Art Survey)

Formal methods for components and objects : 9th international symposium, FMCO 2010 : Graz, Austria, November 29-December 1, 2010 : revised papers : Nov 2010, Graz, Austria. (Lecture Notes in Computer Science ; 6957. State-of-the-Art Survey)
Paper図書
Springerc2011.<M17-12-2880>
National Diet Library
  • Author Heading...hard K., 1969- Boer, Frank S. de. Bonsangue, Marcello M. Graz ...

Theoretical computer science : 7th IFIP TC 1/WG 2.2 international conference, TCS 2012 : Amsterdam, the Netherlands, September 26-28, 2012 : proceedings : Sep 2012, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 7604)

Theoretical computer science : 7th IFIP TC 1/WG 2.2 international conference, TCS 2012 : Amsterdam, the Netherlands, September 26-28, 2012 : proceedings : Sep 2012, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 7604)
Paper図書
Springerc2012.<M17-13-833>
National Diet Library
  • Author Heading... Thomas, 1965- Boer, Frank S. de. IFIP Technical Committee 1 (...

Formal methods for components and objects : 6th international symposium, FMCO 2007 : Amsterdam, the Netherlands, October 24-26, 2007 : revised papers. : Oct 2007, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 5382)

Formal methods for components and objects : 6th international symposium, FMCO 2007 : Amsterdam, the Netherlands, October 24-26, 2007 : revised papers. : Oct 2007, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 5382)
Paper図書
Springerc2008.<M17-09-1308>
National Diet Library
  • Author HeadingBoer, Frank S. de. FMCO 2007 (2007 : Amsterdam,...

Formal methods for components and objects : 5th international symposium, FMCO 2006 : Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures. : Nov 2006, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 4709)

Formal methods for components and objects : 5th international symposium, FMCO 2006 : Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures. : Nov 2006, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 4709)
Paper図書
Springerc2007.<M17-08-925>
National Diet Library
  • Author HeadingBoer, Frank S. de. FMCO 2006 (2006 : Amsterdam,...

Formal methods for components and objects : 7th international symposium, FMCO 2008 : Sophia Antipolis, France, October 21-23, 2008 : revised lectures. : 5th Grids@Work event : Oct 2008, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 5751. State-of-the-Art Survey)

Formal methods for components and objects : 7th international symposium, FMCO 2008 : Sophia Antipolis, France, October 21-23, 2008 : revised lectures. : 5th Grids@Work event : Oct 2008, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 5751. State-of-the-Art Survey)
Paper図書
Springerc2009.<M17-10-1643>
National Diet Library
  • Author Heading...d Mathematics. Boer, Frank S. de. Bonsangue, Marcello M. Madel...

Formal methods for components and objects : third international symposium, FMCO 2004 : Leiden, the Netherlands, November 2-5, 2004 : revised lectures. : Nov 2004, Leiden, the Netherlands. (Lecture Notes in Computer Science ; 3657. Tutorial)

Formal methods for components and objects : third international symposium, FMCO 2004 : Leiden, the Netherlands, November 2-5, 2004 : revised lectures. : Nov 2004, Leiden, the Netherlands. (Lecture Notes in Computer Science ; 3657. Tutorial)
Paper図書
Springerc2005.<M17-06-113>
National Diet Library
  • Author HeadingBoer, Frank S. de.

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5051)

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5051)
Paper図書
Springerc2008.<M17-08-2320>
National Diet Library
  • Author HeadingBarthe, Gilles, 1967- Boer, Frank S. de. International Conference on ...

Formal methods for components and objects : second international symposium, FMCO 2003 : Leiden, the Netherlands, November 4-7, 2003 : revised lectures. : Nov 2003, Leiden, the Netherlands. (Lecture Notes in Computer Science ; 3188. Tutorial)

Formal methods for components and objects : second international symposium, FMCO 2003 : Leiden, the Netherlands, November 4-7, 2003 : revised lectures. : Nov 2003, Leiden, the Netherlands. (Lecture Notes in Computer Science ; 3188. Tutorial)
Paper図書
Springerc2004.<M17-05-906>
National Diet Library
  • Author HeadingBoer, Frank S. de. FMCO 2003 (2003 : Leiden, Ne...

Formal methods for components and objects : first international symposium, FMCO 2002 : Leiden, the Netherlands, November 5-8, 2002 : revised lectures. : Nov 2002, Leiden, the Netherlands. (Lecture Notes in Computer Science ; 2852. Tutorial)

Formal methods for components and objects : first international symposium, FMCO 2002 : Leiden, the Netherlands, November 5-8, 2002 : revised lectures. : Nov 2002, Leiden, the Netherlands. (Lecture Notes in Computer Science ; 2852. Tutorial)
Paper図書
Springerc2003.<M17-04-2334>
National Diet Library
  • Author HeadingBoer, Frank S. de. FMCO 2002 (2002 : Leiden, th...

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings
Paper図書
Nikolaj Bjørner, Frank de Boer (eds.)Springerc2015
Other Libraries in Japan
  • Author HeadingInternational Symposium of Formal Methods Europe Bjørner, Nikolaj Boer, Frank S. de

Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures

Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures
Paper図書
Frank S. de Boer, Marcello M. Bonsangue. Eric Madelaine (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingFMCO Boer, Frank S. de Bonsangue, Marcello M. Madela...

Verification of sequential and concurrent programs 3rd, extended ed

Verification of sequential and concurrent programs 3rd, extended ed
Paper図書
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger OlderogSpringerc2009
Other Libraries in Japan
  • Author HeadingApt, Krzysztof R. Boer, Frank S. de Olderog, E.-R.

Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures

Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures
Paper図書
Frank S. de Boer ... [et al.] (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingFMCO Boer, Frank S. de

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures
Paper図書
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingBoer, Frank S. de Bonsangue, Marcello M. Graf, ...

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
Paper図書
Frank S. de Boer ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingFMCO Boer, Frank S. de Bonsangue, Marcello M. Graf, ...

Reached to the end of result.

RSS