本文に飛ぶ

年 〜
年

検索結果 43 件

Hardware and software: verification and testing : 10th international Haifa verification conference, HVC 2014 : Haifa, Israel, November 18-20, 2014 : proceedings. (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. (Lecture Notes in Computer Science ; 8855)
紙図書
Springer[2014]<M17-15-622>
国立国会図書館
  • 件名Computer programs--Verification--Congresses. Software architecture--Congre...

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings. (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. (Lecture Notes in Computer Science ; 8244)
紙図書
Springerc2013.<M17-14-1312>
国立国会図書館
  • 件名Computer programs--Verification--Congresses. Software architecture--Congre...

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. (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. (Lecture Notes in Computer Science ; 4905)
紙図書
Springerc2008.<M17-08-1774>
国立国会図書館全国の図書館

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

Verified software: theories, tools, experiments : second international conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings. (Lecture Notes in Computer Science ; 5295)
紙図書
Springerc2008.<M17-08-2339>
国立国会図書館全国の図書館

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

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings. (Lecture Notes in Computer Science ; 4349)
紙図書
Springerc2007.<M17-07-718>
国立国会図書館全国の図書館

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

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain.
紙図書
Association for Computing Machineryc2010.<M17-10-2488>
国立国会図書館

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. (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. (Lecture Notes in Computer Science ; 6538)
紙図書
Springerc2011.<M17-11-1898>
国立国会図書館

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

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. (Lecture Notes in Computer Science ; 6217)
紙図書
Springerc2010.<M17-10-4245>
国立国会図書館

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006 : Charleston, SC, USA, January 8-10, 2006 : proceedings. (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. (Lecture Notes in Computer Science ; 3855)
紙図書
Springerc2006.<M17-06-2259>
国立国会図書館全国の図書館

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

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009.
紙図書
Association for Computing Machineryc2009.<M17-10-2738>
国立国会図書館全国の図書館

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012 : Paris, France, August 27-28, 2012 : proceedings. (Lecture Notes in Computer Science ; 7437)

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012 : Paris, France, August 27-28, 2012 : proceedings. (Lecture Notes in Computer Science ; 7437)
紙図書
Springerc2012.<M17-13-588>
国立国会図書館
  • 件名...g--Congresses. Computer programs--Verification--Congresses. Computer programs--Reliabilit...

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

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings. (Lecture Notes in Computer Science ; 2937)
紙図書
Springer-Verlagc2004.<M17-04-2460>
国立国会図書館

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009 : Eindhoven, the Netherlands, November 2-3, 2009 : proceedings. (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. (Lecture Notes in Computer Science ; 5825)
紙図書
Springerc2009.<M17-10-1649>
国立国会図書館全国の図書館

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. (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. (Lecture Notes in Computer Science ; 2575)
紙図書
Springerc2003.<M17-03-814>
国立国会図書館全国の図書館

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007 : Berlin, Germany, July 1-2, 2007 : revised selected papers. (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. (Lecture Notes in Computer Science ; 4916)
紙図書
Springerc2008.<M17-08-1780>
国立国会図書館

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002 : Venice, Italy, January 21-22, 2002 : revised papers. (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. (Lecture Notes in Computer Science ; 2294)
紙図書
Springer2002.<M17-03-4212>
国立国会図書館全国の図書館

Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday. (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. (Lecture Notes in Computer Science ; 4444. Festschrift)
紙図書
Springerc2007.<M17-07-1270>
国立国会図書館全国の図書館

Hardware and software: verification and testing : 4th international Haifa verification conference, HVC 2008 : Haifa, Israel, October 27-30, 2008 : proceedings. (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. (Lecture Notes in Computer Science ; 5394)
紙図書
Springerc2009.<M17-10-91>
国立国会図書館全国の図書館

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 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.
紙図書
IEEEc2010.<M17-11-2951>
国立国会図書館

Formal methods for industrial critical systems : 18th international workshop, FMICS 2013 : Madrid, Spain, September 23-24, 2013 : proceedings. (Lecture Notes in Computer Science ; 8187)

Formal methods for industrial critical systems : 18th international workshop, FMICS 2013 : Madrid, Spain, September 23-24, 2013 : proceedings. (Lecture Notes in Computer Science ; 8187)
紙図書
Springerc2013.<M17-14-722>
国立国会図書館
  • 件名...g--Congresses. Computer programs--Verification--Congresses. Computer programs--Reliabilit...
RSS