年 〜
年

検索結果 11 件

Advanced lectures on software engineering : LASER summer school 2007/2008. : 2007 summer school on applied software verification : 2008 summer school on concurrency and correctness : ------. (Lecture Notes in Computer Science ; 6029. Tutorial)

Advanced lectures on software engineering : LASER summer school 2007/2008. : 2007 summer school on applied software verification : 2008 summer school on concurrency and correctness : ------. (Lecture Notes in Computer Science ; 6029. Tutorial)
紙図書
Springerc2010.<M17-10-3118>
国立国会図書館
  • 件名Software enginnering -- Congresses. Software Engineering. Programmverifikation. Nebenläufigkeit.

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6300. Festschrift)

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6300. Festschrift)
紙図書
Springerc2010.<M17-10-4407>
国立国会図書館
  • 件名...spezifikation. Programmverifikation. Abstrakte Zustandsmaschine. F...

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)
紙図書
Springerc2010.<M17-10-4245>
国立国会図書館
  • 件名...ogrammanalyse. Programmverifikation. Formale Methode. Edinburgh <2...

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)
紙図書
Springerc2011.<M17-11-1898>
国立国会図書館
  • 件名...ogrammanalyse. Programmverifikation. Model Checking. Abstrakte Int...

Trustworthy global computing : 8th international symposium, TGC 2013 : Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers : Buenos Aires concurrency and dependability week : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8358)

Trustworthy global computing : 8th international symposium, TGC 2013 : Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers : Buenos Aires concurrency and dependability week : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8358)
紙図書
Springerc2014.<M17-14-2121>
国立国会図書館
  • 件名...odel Checking. Programmverifikation. Trusted Computing. Typprüfun...

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)
紙図書
Springerc2010.<M17-11-2057>
国立国会図書館
  • 件名...ungsverfahren. Programmverifikation. Programmanalyse. Programmtest...

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)
紙図書
Springerc2011.<M17-11-2041>
国立国会図書館
  • 件名...everifikation. Programmverifikation. Software. Testen. Model Check...

Advances in computer science -- ASIAN 2009 : information security and privacy : 13th Asian computing science conference : Seoul, Korea, December 14-16, 2009 : proceedings. : 13th annual Asian computing science conference : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5913)

Advances in computer science -- ASIAN 2009 : information security and privacy : 13th Asian computing science conference : Seoul, Korea, December 14-16, 2009 : proceedings. : 13th annual Asian computing science conference : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5913)
紙図書
Springerc2009.<M17-10-2387>
国立国会図書館
  • 件名...grammierlogik. Programmverifikation. Rechnernetz. Sicherheitsproto...

Programming languages and systems : 7th Asian symposium, APLAS 2009 : Seoul, Korea, December 14-16, 2009 : proceedings. : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5904)

Programming languages and systems : 7th Asian symposium, APLAS 2009 : Seoul, Korea, December 14-16, 2009 : proceedings. : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5904)
紙図書
Springerc2009.<M17-10-1776>
国立国会図書館
  • 件名...ransformation. Programmverifikation. Sicherheit. Softwaresystem. K...

Formal methods: foundations and applications : 12th Brazilian symposium on formal methods, SBMF 2009 : Gramado, Brazil, August 19-21, 2009 : revised selected papers. : Aug 2009, Gramado, Brazil. (Lecture Notes in Computer Science ; 5902)

Formal methods: foundations and applications : 12th Brazilian symposium on formal methods, SBMF 2009 : Gramado, Brazil, August 19-21, 2009 : revised selected papers. : Aug 2009, Gramado, Brazil. (Lecture Notes in Computer Science ; 5902)
紙図書
Springerc2009.<M17-10-1656>
国立国会図書館
  • 件名...odel Checking. Programmverifikation. Sicherheitskritisches System....

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)
紙図書
Springerc2009.<M17-10-1593>
国立国会図書館

検索結果は以上です。