Jump to main content

yr 〜
yr

Search results 7

Web services and formal methods : 10th international workshop, WS-FM 2013 : Beijing, China, August 2013 : revised selected papers : 10th international workshop on web services and formal methods: formal aspects of service-oriented and cloud computing : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8379)

Web services and formal methods : 10th international workshop, WS-FM 2013 : Beijing, China, August 2013 : revised selected papers : 10th international workshop on web services and formal methods: formal aspects of service-oriented and cloud computing : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8379)
Paper図書
Springer[2014]<M17-15-1509>
National Diet Library
  • Author HeadingWS-FM (Workshop) (10th : 2013 : Bei...

Web services and formal methods : 9th international workshop, WS-FM 2012 : Tallinn, Estonia, September 6-7, 2012 : revised selected papers : Sep 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7843)

Web services and formal methods : 9th international workshop, WS-FM 2012 : Tallinn, Estonia, September 6-7, 2012 : revised selected papers : Sep 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7843)
Paper図書
Springerc2013.<M17-13-2768>
National Diet Library
  • Author HeadingWS-FM 2012 (2012 : Tallinn, Estonia...

Web services and formal methods : 8th international workshop, WS-FM 2011 : Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers : Sep 2011, Clermont-Ferrand, France. (Lecture Notes in Computer Science ; 7176)

Web services and formal methods : 8th international workshop, WS-FM 2011 : Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers : Sep 2011, Clermont-Ferrand, France. (Lecture Notes in Computer Science ; 7176)
Paper図書
Springerc2012.<M17-13-28>
National Diet Library
  • Author HeadingWS-FM 2011 (2011 : Clermont-Ferrand...

Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
Paper図書
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingWS-FM Bravetti, Mario Núñez, Manuel...

Web services and formal methods : 6th international workshop, WS-FM 2009 : Bologna, Italy, September 4-5, 2009 : revised selected papers. : Sep 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 6194)

Web services and formal methods : 6th international workshop, WS-FM 2009 : Bologna, Italy, September 4-5, 2009 : revised selected papers. : Sep 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 6194)
Paper図書
Springerc2010.<M17-10-4273>
National Diet Library
  • Author HeadingLaneve, Cosimo, 1962- Su, Jianwen. WS-FM 2009 (2009 : Bologna, Italy)

Web services and formal methods : 4th international workshop, WS-FM 2007 : Brisbane, Australia, September 28-29, 2007 : proceedings. : Sep 2007, Brisbane, Australia. (Lecture Notes in Computer Science ; 4937)

Web services and formal methods : 4th international workshop, WS-FM 2007 : Brisbane, Australia, September 28-29, 2007 : proceedings. : Sep 2007, Brisbane, Australia. (Lecture Notes in Computer Science ; 4937)
Paper図書
Springerc2008.<M17-09-418>
National Diet Library
  • Author HeadingDumas, Marlon. Heckel, Reiko. WS-FM 2007 (2007 : Brisbane, Qld.)

Web services and formal methods : third international workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings. : Sep 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 4184)

Web services and formal methods : third international workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings. : Sep 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 4184)
Paper図書
Springerc2006.<M17-07-178>
National Diet Library
  • Alternative Title...onal workshop, WS-FM 2006 : Vienna, Austria, Septe...
  • Alternative Title...onal workshop, WS-FM 2006 : Vienna, Austria, Septe...
  • Author Heading...ro, Gianluigi. WS-FM 2006 (2006 : Vienna, Austria)

Reached to the end of result.

RSS