Computer programs - Congresses. - Verification
概要
| 作品: | 21 作品在 9 項出版品 9 種語言 | |
|---|---|---|
書目資訊
Verification, model checking, and abstract interpretation = 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Hardware and Software: Verification and Testing = Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Verification, model checking and abstract interpretation = third international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papers /
by:
(書目-語言資料,印刷品)
Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題