咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Time for Verification: Essays ... 收藏

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

丛 书 名:Lecture Notes in Computer Science 6200 : Theoretical Computer Science and General Issues

版本说明:1

作     者:Zohar Manna, Doron A. Peled 

I S B N:(纸本) 3642137539 

出 版 社:Springer 

出 版 年:2010年

学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分