Jump to main content

yr 〜
yr

Search results 5

Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010 : Hagenberg, Austria, July 23-25, 2010 : revised selected papers. : RISC summer 2010 : LOPSTR 2010 conference : Jul 2010, Hagenberg, Austria. (Lecture Notes in Computer Science ; 6564)

Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010 : Hagenberg, Austria, July 23-25, 2010 : revised selected papers. : RISC summer 2010 : LOPSTR 2010 conference : Jul 2010, Hagenberg, Austria. (Lecture Notes in Computer Science ; 6564)
Paper図書
Springerc2011.<M17-11-2290>
National Diet Library
  • Author HeadingAlpuente, María. LOPSTR 2010 (2010 : Hagenberg...

Static analysis : 15th international symposium, SAS 2008 : Valencia, Spain, July 16-18, 2008 : proceedings. : SAS conferences : Jul 2008, Valencia, Spain. (Lecture Notes in Computer Science ; 5079)

Static analysis : 15th international symposium, SAS 2008 : Valencia, Spain, July 16-18, 2008 : proceedings. : SAS conferences : Jul 2008, Valencia, Spain. (Lecture Notes in Computer Science ; 5079)
Paper図書
Springerc2008.<M17-08-1935>
National Diet Library
  • Author HeadingAlpuente, María. Vidal, Germán. International ...

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009 : Eindhoven, the Netherlands, November 2-3, 2009 : proceedings. : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : FMweek : 1st formal methods week : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5825)

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009 : Eindhoven, the Netherlands, November 2-3, 2009 : proceedings. : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : FMweek : 1st formal methods week : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5825)
Paper図書
Springerc2009.<M17-10-1649>
National Diet Library
  • Author HeadingAlpuente, María. Cook, Byron. Joubert, Christo...

Automated specification and verification of web systems : selected papers from the 2nd int'l. workshop on automated specification and verification of web systems (WWV'06) : special track of the 2nd biennial int'l. symposium on leveraging applications of formal methods, verification, and validation (ISoLA 2006) : November 19, 2006. Paphos, Cyprus. : Nov 2006, Paphos, Cyprus.

Automated specification and verification of web systems : selected papers from the 2nd int'l. workshop on automated specification and verification of web systems (WWV'06) : special track of the 2nd biennial int'l. symposium on leveraging applications of formal methods, verification, and validation (ISoLA 2006) : November 19, 2006. Paphos, Cyprus. : Nov 2006, Paphos, Cyprus.
Paper図書
IEEE Computer Societyc2007.<M17-09-1836>
National Diet Library
  • Author HeadingAlpuente, María. Escobar, S. (Santiago) Falasc...

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings
Paper図書
María Alpuente, Byron Cook, Christophe Joubert (eds.)Springerc2009
Other Libraries in Japan

Reached to the end of result.

RSS