Jump to main content

yr 〜
yr

Search results 3

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009 : Coimbra, Portugal, September 2009 : revised selected papers. : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 6037)

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009 : Coimbra, Portugal, September 2009 : revised selected papers. : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 6037)
Paper図書
Springerc2010.<M17-10-2807>
National Diet Library
  • Subject Heading...grammsynthese. Programmtransformation. Coimbra <2009>

Generative and transformational techniques in software engineering 3 : international summer school, GTTSE 2009 : Braga, Portugal, July 6-11, 2009 : revised papers. : Jul 2009, Braga, Portugal. (Lecture Notes in Computer Science ; 6491. Tutorial)

Generative and transformational techniques in software engineering 3 : international summer school, GTTSE 2009 : Braga, Portugal, July 6-11, 2009 : revised papers. : Jul 2009, Braga, Portugal. (Lecture Notes in Computer Science ; 6491. Tutorial)
Paper図書
Springerc2011.<M17-11-2114>
National Diet Library
  • Subject Heading...reentwicklung. Programmtransformation. Braga <2009> Kongress.

Programming languages and systems : 7th Asian symposium, APLAS 2009 : Seoul, Korea, December 14-16, 2009 : proceedings. : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5904)

Programming languages and systems : 7th Asian symposium, APLAS 2009 : Seoul, Korea, December 14-16, 2009 : proceedings. : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5904)
Paper図書
Springerc2009.<M17-10-1776>
National Diet Library
  • Subject Heading...mmoptimierung. Programmtransformation. Programmverifikation. Sicherh...

Reached to the end of result.

RSS