Formal methods(Computer scienc
概要
| 作品: | 7 作品在 7 項出版品 7 種語言 | |
|---|---|---|
書目資訊
Formal methods and software engineering:5th International Conference on Formal Engineering Methods, ICFEM 2003
by:
(書目-語言資料,印刷品)
Formal methods and software engineering : 6th international conference on Formal Engineering methods,ICFEM 2004...
by:
(書目-語言資料,印刷品)
Applying formal methods: testing, performance, and M/E-commerce:FORTE 2004 workshops the FormEMC,EPEW,ITM,Toledo,...
by:
(書目-語言資料,印刷品)
Formal techniques for networked and distributed systems - FORTE 2004,24th IFIP WG 6.1 international conference, Madrid..
by:
(書目-語言資料,印刷品)
Formal methods for components and objects:second international symposium,FMCO 2003
by:
(書目-語言資料,印刷品)
主題