yr 〜
yr

Search results 3

Workshop on relationships and associations in object-oriented languages 2009 : (RAOOL 2009) : held at ECOOP 2009 : Genova, Italy : 7 July 2009. : ECOOP/RAOOL : Jul 2009, Genova, Italy.

Workshop on relationships and associations in object-oriented languages 2009 : (RAOOL 2009) : held at ECOOP 2009 : Genova, Italy : 7 July 2009. : ECOOP/RAOOL : Jul 2009, Genova, Italy.
Paper図書
Association for Computing Machineryc2009.<M17-10-3324>
National Diet Library

Structured object-oriented formal language and method : 10th international workshop, SOFL+MSVL 2020 : Singapore, March 1, 2021 : revised selected papers : Mar 2021, ------. (Lecture Notes in Computer Science ; 12723)

Structured object-oriented formal language and method : 10th international workshop, SOFL+MSVL 2020 : Singapore, March 1, 2021 : revised selected papers : Mar 2021, ------. (Lecture Notes in Computer Science ; 12723)
Paper図書
Springer[2021]<M17-23-212>
National Diet Library
  • Subject Heading...)--Congresses. Object-oriented programming languages--Congresses. Object-oriented methods (Comp...

Formal verification of object-oriented software : international conference, FoVeOOS 2010 : Paris, France, June 28-30, 2010 : revised selected papers. : Jun 2010, Paris, France. (Lecture Notes in Computer Science ; 6528)

Formal verification of object-oriented software : international conference, FoVeOOS 2010 : Paris, France, June 28-30, 2010 : revised selected papers. : Jun 2010, Paris, France. (Lecture Notes in Computer Science ; 6528)
Paper図書
Springerc2011.<M17-11-1891>
National Diet Library

Reached to the end of result.