
在图书馆查找

WorldCat
在全球的图书馆查找

正在查找有这资料的图书馆...
详细书目
类型/形式: | Academic theses Theses |
---|---|
材料类型: | 硕士论文/博士论文, 手稿 |
文档类型 | 图书, 档案资料 |
所有的著者/提供者: |
John-Michael McNew |
OCLC号码: | 747281888 |
注释: | Vita. |
描述: | xiv, 238 pages : illustrations ; 28 cm |
责任: | John-Michael McNew. |
更多信息 |

标签
添加标签 目的是为 "Nondeterministic modeling and verification of networked robotic systems".
争取是第一个!