当前位置: 首页 > 资源下载 > 搜索“Checking”结果
关键字
书名:Principles of Model Checking (PDF 英文版)
上传:鱼和流氓
时间:2009-01-26 19:41:14
描述: (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...