Jump to main content

yr 〜
yr

Search results 51

Hardware and software: verification and testing : 10th international Haifa verification conference, HVC 2014 : Haifa, Israel, November 18-20, 2014 : proceedings : Nov 2014, Haifa, Israel. (Lecture Notes in Computer Science ; 8855)

Hardware and software: verification and testing : 10th international Haifa verification conference, HVC 2014 : Haifa, Israel, November 18-20, 2014 : proceedings : Nov 2014, Haifa, Israel. (Lecture Notes in Computer Science ; 8855)
Paper図書
Springer[2014]<M17-15-622>
National Diet Library

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings : Nov 2013, Haifa, Israel. (Lecture Notes in Computer Science ; 8244)

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings : Nov 2013, Haifa, Israel. (Lecture Notes in Computer Science ; 8244)
Paper図書
Springerc2013.<M17-14-1312>
National Diet Library

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)
Paper図書
Springerc2008.<M17-08-1774>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses.

Verified software: theories, tools, experiments : second international conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings. : 2nd working conference on verified software: theories, tools, and experiments : Oct 2008, Toronto, Canada. (Lecture Notes in Computer Science ; 5295)

Verified software: theories, tools, experiments : second international conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings. : 2nd working conference on verified software: theories, tools, and experiments : Oct 2008, Toronto, Canada. (Lecture Notes in Computer Science ; 5295)
Paper図書
Springerc2008.<M17-08-2339>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses.

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings. : Jan 2007, Nice, France. (Lecture Notes in Computer Science ; 4349)

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings. : Jan 2007, Nice, France. (Lecture Notes in Computer Science ; 4349)
Paper図書
Springerc2007.<M17-07-718>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses.

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain. : programming languages meet program verification workshop 2010 : PLPV 10 : Jan 2010, Madrid, Spain.

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain. : programming languages meet program verification workshop 2010 : PLPV 10 : Jan 2010, Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-2488>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses. Programming languages (Elect...

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)
Paper図書
Springerc2011.<M17-11-1898>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses. Programmanalyse. Programmver...

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)
Paper図書
Springerc2010.<M17-10-4245>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses. Software. Verifikation. Prog...

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006 : Charleston, SC, USA, January 8-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3855)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006 : Charleston, SC, USA, January 8-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3855)
Paper図書
Springerc2006.<M17-06-2259>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses.

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009. : programming languages meet program verification 2009 : Jan 2009, Savannah, GA.

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009. : programming languages meet program verification 2009 : Jan 2009, Savannah, GA.
Paper図書
Association for Computing Machineryc2009.<M17-10-2738>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses. Programming languages (Elect...

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012 : Paris, France, August 27-28, 2012 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7437)

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012 : Paris, France, August 27-28, 2012 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7437)
Paper図書
Springerc2012.<M17-13-588>
National Diet Library

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings. : Jan 2004, Venice, Italy. (Lecture Notes in Computer Science ; 2937)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings. : Jan 2004, Venice, Italy. (Lecture Notes in Computer Science ; 2937)
Paper図書
Springer-Verlagc2004.<M17-04-2460>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses.

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
  • Subject Heading...-- Congresses. Computer programs -- Verification -- Congresses.

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. : Jan 2003, New York, NY. (Lecture Notes in Computer Science ; 2575)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. : Jan 2003, New York, NY. (Lecture Notes in Computer Science ; 2575)
Paper図書
Springerc2003.<M17-03-814>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses.

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007 : Berlin, Germany, July 1-2, 2007 : revised selected papers. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4916)

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007 : Berlin, Germany, July 1-2, 2007 : revised selected papers. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4916)
Paper図書
Springerc2008.<M17-08-1780>
National Diet Library
  • Subject Heading...-- Congresses. Computer programs -- Verification -- Congresses.

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002 : Venice, Italy, January 21-22, 2002 : revised papers. : Jan 2002, Venice, Italy. (Lecture Notes in Computer Science ; 2294)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002 : Venice, Italy, January 21-22, 2002 : revised papers. : Jan 2002, Venice, Italy. (Lecture Notes in Computer Science ; 2294)
Paper図書
Springer2002.<M17-03-4212>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses.

Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday. : Dagstuhl symposium : Reinhard Wilhelm 60th-birthday celebratory symposium : Jun 2006, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 4444. Festschrift)

Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday. : Dagstuhl symposium : Reinhard Wilhelm 60th-birthday celebratory symposium : Jun 2006, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 4444. Festschrift)
Paper図書
Springerc2007.<M17-07-1270>
National Diet Library
  • Subject Heading...nhard) , 1946- Computer programs -- Verification -- Congresses. Compilers (Computer programs...

Hardware and software: verification and testing : 4th international Haifa verification conference, HVC 2008 : Haifa, Israel, October 27-30, 2008 : proceedings. : Oct 2008, Haifa, Israel. (Lecture Notes in Computer Science ; 5394)

Hardware and software: verification and testing : 4th international Haifa verification conference, HVC 2008 : Haifa, Israel, October 27-30, 2008 : proceedings. : Oct 2008, Haifa, Israel. (Lecture Notes in Computer Science ; 5394)
Paper図書
Springerc2009.<M17-10-91>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses. Software architecture -- Con...

2010 ninth international workshop on parallel and distributed methods in verification, and second international workshop on high performance computational systems biology : (PDMC-HiBi 2010) : Enschede, Netherlands : 30 September-1 October 2010. : 2010 9th international workshop on parallel and distributed methods in verification/2010 2nd international workshop on high performance computational systems biology : PDMC 2010 workshop : HiBi 2010 workshop : 2nd international workshop on high-performance computational systems biology : Sep 2010, Enschede, the Netherlands.

2010 ninth international workshop on parallel and distributed methods in verification, and second international workshop on high performance computational systems biology : (PDMC-HiBi 2010) : Enschede, Netherlands : 30 September-1 October 2010. : 2010 9th international workshop on parallel and distributed methods in verification/2010 2nd international workshop on high performance computational systems biology : PDMC 2010 workshop : HiBi 2010 workshop : 2nd international workshop on high-performance computational systems biology : Sep 2010, Enschede, the Netherlands.
Paper図書
IEEEc2010.<M17-11-2951>
National Diet Library
  • Subject HeadingComputer programs -- Verification -- Congresses. Computer software -- Verific...

Computer aided verification : 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings pt. 2

Computer aided verification : 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings pt. 2
Paper図書
Alexandra Silva, K. Rustan M. Leino (eds.)Springerc2021
Other Libraries in Japan
  • Subject HeadingComputer programs -- Verification -- Congresses
  • Subject Heading (ID)Computer programs -- Verification -- Congresses
RSS