咪咪妙 发表于 2003-4-19 14:55

verifikation reaktiver systeme

哪位前辈知道verifikation reaktiver systeme怎么翻译,在国内学习用的是什么教材,这门课应该是hauptdiplom的课,隶属于Programmierung und Softwareentwurf.

mantouqq 发表于 2003-6-12 00:14

反应系统的验证?!
不知道,国内好像没学过.
不过我听说这边infor有门课很变态
就是验证程序的正确性
不知道你这是不是验证系统的正确性的
页: [1]
查看完整版本: verifikation reaktiver systeme