悟空视频

Model Checking封面

Model Checking

2000 Edmund M·Clarke

作者：Edmund M·Clarke

详情

剧情简介：Model checking领域的权威书籍

作者：Edmund M·Clarke

出版社：The MIT Press

ISBN：9780262032704

加载中...

Model Checking - 悟空视频