Jump to main content

yr 〜
yr

Search results 21

Software engineering and formal methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, proceedings : pbk

Software engineering and formal methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, proceedings : pbk
Paper図書
Bernd-Holger Schlingloff, Ming Chai (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingInternational Conference on Software Engineering and Formal Methods Schlingloff, Bernd-Holger Cha...

Software engineering and formal methods : 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021, proceedings

Software engineering and formal methods : 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021, proceedings
Paper図書
Radu Calinescu, Corina S. Păsăreanu (eds.)Springerc2021
Other Libraries in Japan
  • Author HeadingInternational Conference on Software Engineering and Formal Methods Calinescu, Radu Păsăreanu, Co...

Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings : Sep 2015, York, UK. (Lecture Notes in Computer Science ; 9276)

Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings : Sep 2015, York, UK. (Lecture Notes in Computer Science ; 9276)
Paper図書
Springer[2015]<M17-16-604>
National Diet Library
  • Author HeadingInternational Conference on Software Engineering and Formal Methods (13th : 2015 : York, England)...

Software engineering and formal methods : SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert : Madrid, Spain, September 23-24, 2013 : revised selected papers : 11th international conference on software engineering and formal methods : 2nd international workshop on behavioral types workshop [sic] (BEAT 2) : 3rd workshop on formal methods in the development of software : workshop on a formal methods body of knowledge for railway control and safety systems : 2nd international symposium on modelling and knowledge management for sustainable development : 2nd international workshop on behavioural types : 7th international workshop on foundations and techniques for open source software certification (OpenCert2013) : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8368)

Software engineering and formal methods : SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert : Madrid, Spain, September 23-24, 2013 : revised selected papers : 11th international conference on software engineering and formal methods : 2nd international workshop on behavioral types workshop [sic] (BEAT 2) : 3rd workshop on formal methods in the development of software : workshop on a formal methods body of knowledge for railway control and safety systems : 2nd international symposium on modelling and knowledge management for sustainable development : 2nd international workshop on behavioural types : 7th international workshop on foundations and techniques for open source software certification (OpenCert2013) : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8368)
Paper図書
Springerc2014.<M17-14-2122>
National Diet Library
  • Author HeadingInternational Conference on Software Engineering and Formal Methods (11th : 2013 : Madrid, Spain)...

Software engineering and formal methods : 12th international conference, SEFM 2014 : Grenoble, France, September 1-5, 2014 : proceedings : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8702)

Software engineering and formal methods : 12th international conference, SEFM 2014 : Grenoble, France, September 1-5, 2014 : proceedings : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8702)
Paper図書
Springer[2014]<M17-15-1257>
National Diet Library
  • Summary, etc....gs of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble,...
  • Author HeadingInternational Conference on Software Engineering and Formal Methods (12th : 2014 : Grenoble, Fran...

Software engineering and formal methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25-27, 2013 : proceedings : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8137)

Software engineering and formal methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25-27, 2013 : proceedings : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8137)
Paper図書
Springerc2013.<M17-14-705>
National Diet Library
  • Author HeadingInternational Conference on Software Engineering and Formal Methods (11th : 2013 : Madrid, Spain)...

Software engineering and formal methods : 9th international conference, SEFM 2011 : Montevideo, Uruguay, November 14-18, 2011 : proceedings : Nov 2011, Montevideo, Uruguay. (Lecture Notes in Computer Science ; 7041)

Software engineering and formal methods : 9th international conference, SEFM 2011 : Montevideo, Uruguay, November 14-18, 2011 : proceedings : Nov 2011, Montevideo, Uruguay. (Lecture Notes in Computer Science ; 7041)
Paper図書
Springerc2011.<M17-12-1544>
National Diet Library
  • Author HeadingInternational Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uru...

Information technology and open source : applications for education, innovation, and sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, revised selected papers : pbk

Information technology and open source : applications for education, innovation, and sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, revised selected papers : pbk
Paper図書
Antonio Cerone ... [et al.] (eds.)Springerc2014
Other Libraries in Japan
  • Author Heading...rt (Symposium) International Conference on Software Engineering and Formal Methods

2010 8th IEEE international conference on software engineering and formal methods : (SEFM 2010) : Pisa, Italy : 13-18 September 2010 : Sep 2010, Pisa, Italy.

2010 8th IEEE international conference on software engineering and formal methods : (SEFM 2010) : Pisa, Italy : 13-18 September 2010 : Sep 2010, Pisa, Italy.
Paper図書
IEEEc2010.<M17-12-638>
National Diet Library
  • Author HeadingInternational Conference on Software Engineering and Formal Methods (8th : 2010 : Pisa, Italy) Is...

Fourth IEEE international conference on software engineering and formal methods : SEFM 2006 : proceedings : 11-15 September 2006 Pune, India. : Sep 2006, Pune, India.

Fourth IEEE international conference on software engineering and formal methods : SEFM 2006 : proceedings : 11-15 September 2006 Pune, India. : Sep 2006, Pune, India.
Paper図書
IEEE Computer Societyc2006.<M17-07-110>
National Diet Library
  • Alternative Title4th IEEE international conference on software engineering and formal methods : SEFM 2006 : proceedings : 1...
  • Alternative Title4th IEEE international conference on software engineering and formal methods : SEFM 2006 : proceedings : 1...
  • Author Heading...dya, Paritosh. International Conference on Software Engineering and Formal Methods (4th : 2006 : Pune, India)

Software engineering and formal methods : 10th international conference, SEFM 2012 : Thessaloniki, Greece, October 1-5, 2012 : proceedings : Oct 2012, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 7504)

Software engineering and formal methods : 10th international conference, SEFM 2012 : Thessaloniki, Greece, October 1-5, 2012 : proceedings : Oct 2012, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 7504)
Paper図書
Springerc2012.<M17-13-663>
National Diet Library
  • Author HeadingInternational Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, ...

Fifth IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : London, England : 10-14 September 2007. : IEESEFM07 [i.e. IEEESEFM07] : Sep 2007, London, UK.

Fifth IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : London, England : 10-14 September 2007. : IEESEFM07 [i.e. IEEESEFM07] : Sep 2007, London, UK.
Paper図書
IEEE Computer Societyc2007.<M17-09-1577>
National Diet Library
  • Alternative Title5th IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : L...
  • Alternative Title5th IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : L...
  • Author Heading...na, 1964- IEEE International Conference on Software Engineering and Formal Methods (5th : 2007 : London, England...

2009 7th IEEE international conference on software engineering and formal methods : (SEFM 2009) : Hanoi, Vietnam : 23-27 November 2009. : Nov 2009, Hanoi, Vietnam.

2009 7th IEEE international conference on software engineering and formal methods : (SEFM 2009) : Hanoi, Vietnam : 23-27 November 2009. : Nov 2009, Hanoi, Vietnam.
Paper図書
IEEEc2009.<M17-10-2306>
National Diet Library
  • Author Heading...a Ha Noi. IEEE International Conference on Software Engineering and Formal Methods (7th : 2009 : Hanoi, Vietnam)

Sixth IEEE international conference on software engineering and formal methods : SEFM 2008 : proceedings : 10-14 November 2008 Cape Town, South Africa. : Nov 2008, Cape Town, South Africa.

Sixth IEEE international conference on software engineering and formal methods : SEFM 2008 : proceedings : 10-14 November 2008 Cape Town, South Africa. : Nov 2008, Cape Town, South Africa.
Paper図書
IEEEc2008.<M17-09-1628>
National Diet Library
  • Alternative Title6th IEEE international conference on software engineering and formal methods : SEFM 2008 : proceedings : 1...
  • Alternative Title6th IEEE international conference on software engineering and formal methods : SEFM 2008 : proceedings : 1...
  • Author Heading...ape Town. IEEE International Conference on Software Engineering and Formal Methods (6th : 2008 : Cape Town, Sout...

SEFM 2004 : proceedings of the second international conference on software engineering and formal methods : September 28-30, 2004 : Beijing, China. : Sep 2004, Beijing, China.

SEFM 2004 : proceedings of the second international conference on software engineering and formal methods : September 28-30, 2004 : Beijing, China. : Sep 2004, Beijing, China.
Paper図書
IEEE Computer Society Pressc2004.<M17-05-1920>
National Diet Library
  • Alternative Title...ngs of the 2nd international conference on software engineering and formal methods : September 28-30, 2004 : Bei...
  • Alternative Title...ngs of the 2nd international conference on software engineering and formal methods : September 28-30, 2004 : Bei...
  • Author Heading...ng University. International Conference on Software Engineering and Formal Methods (2nd : 2004 : Beijing, China)

First international conference on software engineering and formal methods : proceedings : Brisbane, Australia : September 22 to 27, 2003. : Sep 2003, Brisbane, Australia.

First international conference on software engineering and formal methods : proceedings : Brisbane, Australia : September 22 to 27, 2003. : Sep 2003, Brisbane, Australia.
Paper図書
IEEE Computer Societyc2003.<M17-05-1754>
National Diet Library
  • Alternative Title1st international conference on software engineering and formal methods : proceedings : Brisbane, Aus...
  • Alternative Title1st international conference on software engineering and formal methods : proceedings : Brisbane, Aus...
  • Author Heading...exander, 1957- International Conference on Software Engineering and Formal Methods (1st : 2003 : Brisbane, Qld.)

Third IEEE international conference on software engineering and formal methods : proceedings : SEFM 2005 : 7-9 September 2005 Koblenz, Germany. : Sep 2005, Koblenz, Germany.

Third IEEE international conference on software engineering and formal methods : proceedings : SEFM 2005 : 7-9 September 2005 Koblenz, Germany. : Sep 2005, Koblenz, Germany.
Paper図書
IEEE Computer Societyc2005.<M17-06-1738>
National Diet Library
  • Alternative Title3rd IEEE international conference on software engineering and formal methods : proceedings : SEFM 2005 : 7...
  • Alternative Title3rd IEEE international conference on software engineering and formal methods : proceedings : SEFM 2005 : 7...
  • Author Heading...Bernhard. IEEE International Conference on Software Engineering and Formal Methods (3rd : 2005 : Koblenz, German...

Software engineering and formal methods : SEFM 2014 collocated workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS : Grenoble, France, September 1-2, 2014 : revised selected papers : 12th international conference on software engineering and formal methods : SEFM workshop : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8938)

Software engineering and formal methods : SEFM 2014 collocated workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS : Grenoble, France, September 1-2, 2014 : revised selected papers : 12th international conference on software engineering and formal methods : SEFM workshop : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8938)
Paper図書
Springer[2015]<M17-15-1607>
National Diet Library
  • Author HeadingInternational Conference on Software Engineering and Formal Methods (12th : 2014 : Grenoble, Fran...

Information technology and open source: applications for education, innovation, and sustainability : SEFM 2012 satellite events, InSuEdu, MoKMaSD, and OpenCert : Thessaloniki, Greece, October 1-2, 2012 : revised selected papers : 10th international conference on software engineering and formal methods : 1st international symposium on innovation and sustainability in education : 1st international symposium on modelling and knowledge management for sustainable development : 6th international workshop on foundations and techniques for open source software certification : Oct 2012, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 7991)

Information technology and open source: applications for education, innovation, and sustainability : SEFM 2012 satellite events, InSuEdu, MoKMaSD, and OpenCert : Thessaloniki, Greece, October 1-2, 2012 : revised selected papers : 10th international conference on software engineering and formal methods : 1st international symposium on innovation and sustainability in education : 1st international symposium on modelling and knowledge management for sustainable development : 6th international workshop on foundations and techniques for open source software certification : Oct 2012, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 7991)
Paper図書
Springerc2014.<M17-14-2111>
National Diet Library
  • Author HeadingInternational Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē,...

Proceedings, first International Conference on Software Engineering and Formal Methods, Brisbane, Australia, September 22 to 27, 2003

Proceedings, first International Conference on Software Engineering and Formal Methods, Brisbane, Australia, September 22 to 27, 2003
Paper図書
[edited by Antonio Cerone and Peter LindsayIEEE Computer Societyc2003
Other Libraries in Japan
  • Author HeadingInternational Conference on Software Engineering and Formal Methods
RSS