Formal Method..

Z, CSP, CCS, PI-Calculus, SMV, SPIN, Promela, Hore-clause, Prolog, VDM, Larch, CTL, LTL…

来吧,把我干掉吧!

或者是被我干掉!!!

Creative Commons License
This work, unless otherwise expressly stated, is licensed under a Creative Commons Attribution-No Derivative Works 2.5 China Mainland License.
标签:
此条目发表在 学无止境 分类目录,贴了 标签。将固定链接加入收藏夹。

Formal Method..》有 4 条评论

  1. yl 说:

    那么大一堆,看得我头晕脑胀。好辛苦哦!加油,一个一个击毙它们

    回复

  2. uiu 说:

    肯定是被你干掉了三~好奸诈哦~ :wink:

    回复

    foelin reply on 十二月 20th, 2008:

    这两天正在挣扎啊~ :lol:

    回复

  3. 126 说:

    路过,写的不错.

    回复

发表评论

电子邮件地址不会被公开。 必填项已被标记为 *

*

您可以使用这些 HTML 标签和属性: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>