Z.Manna和A.Pnueli

【文件属性】：

文件名称：Z.Manna和A.Pnueli

文件大小：1.43MB

文件格式：PDF

更新时间：2013-02-05 04:25:12

formal methods， temporal logic

这是Z.Manna和A.Pnueli没有公开发行的书籍。