© 1999-2048 dssz.net 粤ICP备11031372号
[系统安全] From Philosophical to Industrial Logics.pdf
说明: One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Century industrial-standard property-specification languages. This developm<weixin_42212179> 上传 | 大小:529kb