Rigorous Software Development - An Intro to program Verification - J. Almeida, et al., (Springer, 2011)

• 收录时间:2018-03-21 11:37:39
• 文件大小:2MB
• 下载次数:53
• 最近下载:2021-01-02 10:08:46
• 磁力链接:
• magnet:?xt=urn:btih:9508ba23139341db5c53a0313b044103601f93be