Jump to main content

yr 〜
yr

Search results 3

Formal aspects of component software : 11th international symposium, FACS 2014 : Bertinoro, Italy, September 10-12, 2014 : revised selected papers : 11th event FACS : FACS conference : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8997)

Formal aspects of component software : 11th international symposium, FACS 2014 : Bertinoro, Italy, September 10-12, 2014 : revised selected papers : 11th event FACS : FACS conference : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8997)
Paper図書
Springer[2015]<M17-15-1615>
National Diet Library
  • Author HeadingFACS (Symposium) (11th : 2014 : Bertinoro, Italy) Lanese, Ivan. Madelaine, Eric.

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...e, Marcello M. Madelaine, Eric. FMCO 2008 (2008 : Sophia Anti...

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

Reached to the end of result.

RSS