本文に飛ぶ

年 〜
年

検索結果 74 件

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>
国立国会図書館

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>
国立国会図書館

Post-silicon and runtime verification for modern processors

Post-silicon and runtime verification for modern processors
紙図書
Ilya Wagner, Valeria Bertacco.Springerc2011.<M159-B134>
国立国会図書館全国の図書館
  • 件名Computer software--Verification. Computer programs--Verification.

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>
国立国会図書館

Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings. (Lecture Notes in Computer Science ; 9128)

Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings. (Lecture Notes in Computer Science ; 9128)
紙図書
Springer[2015]<M17-16-388>
国立国会図書館全国の図書館
  • 件名...--Reliability. Computer programs--Verification. Computer software--Reliabilit...

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 : 19th international conference, FMICS 2014 : Florence, Italy, September 11-12, 2014 : proceedings. (Lecture Notes in Computer Science ; 8718)

Formal methods for industrial critical systems : 19th international conference, FMICS 2014 : Florence, Italy, September 11-12, 2014 : proceedings. (Lecture Notes in Computer Science ; 8718)
紙図書
Springer[2014]<M17-15-1259>
国立国会図書館
  • 件名...--Reliability. Computer programs--Verification. Computer software--Reliabilit...

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>
国立国会図書館

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 : 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 : 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 : 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>
国立国会図書館全国の図書館

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>
国立国会図書館全国の図書館
RSS