Jump to main content

yr 〜
yr

Search results 4

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006 : Venice, Italy, July 12-14, 2006 : revised selected papers. : Jul 2006, Venice, Italy. (Lecture Notes in Computer Science ; 4407)

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006 : Venice, Italy, July 12-14, 2006 : revised selected papers. : Jul 2006, Venice, Italy. (Lecture Notes in Computer Science ; 4407)
Paper図書
Springerc2007.<M17-07-1257>
National Diet Library
  • Author HeadingPuebla, Germán. LOPSTR 2006 (2006 : Venice, ...

Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2477)

Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2477)
Paper図書
Springerc2002.<M17-03-162>
National Diet Library
  • Author HeadingHermenegildo, Manuel. Puebla, Germán. International Static Analysi...

Logic-based program synthesis and transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers

Logic-based program synthesis and transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers
Paper図書
Germán Puebla (ed.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Workshop on Logic Program Synthesis and Transformation Puebla, Germán

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
Paper図書
Manuel V. Hermenegildo, Germán Puebla (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingSAS Hermenegildo, Manuel V. Puebla, Germán

Reached to the end of result.

RSS