Showing
1 - 6
results of
6
for search '
PLUMP, Detlef
'
Skip to content
VuFind
Feedback
我的帳戶
退出
登錄
Theme
Bootstrap
Aunilo
語言
English
中文（繁體）
اللغة العربية
全文檢索
題名
作者
主題
索引號
ISBN/ISSN
標簽
檢索
高級檢索
作者
PLUMP, Detlef
Showing
1 - 6
results of
6
for search '
PLUMP, Detlef
'
, 查詢時間: 0.03s
Refine Results
排序
相關性排序
日期遞增
日期遞增
索書號排序
作者排序
標題
1
Monadic second-order incorrectness logic for GP 2
由
POSKITT, Christopher M.
,
PLUMP
,
Detlef
出版 2023
獲取全文
獲取全文
text
加到收藏夾
Saved in:
2
Verifying monadic second-order properties of graph programs
由
POSKITT, Christopher M.
,
PLUMP
,
Detlef
出版 2014
獲取全文
獲取全文
text
加到收藏夾
Saved in:
3
Verifying total correctness of graph programs
由
POSKITT, Christopher M.
,
PLUMP
,
Detlef
出版 2012
獲取全文
獲取全文
text
加到收藏夾
Saved in:
4
A Hoare calculus for graph programs
由
POSKITT, Christopher M.
,
PLUMP
,
Detlef
出版 2010
獲取全文
獲取全文
text
加到收藏夾
Saved in:
5
Hoare logic for graph programs
由
POSKITT, Christopher M.
,
PLUMP
,
Detlef
出版 2010
獲取全文
獲取全文
text
加到收藏夾
Saved in:
6
Hoare-style verification of graph programs
由
POSKITT, Christopher M.
,
PLUMP
,
Detlef
出版 2012
獲取全文
獲取全文
text
加到收藏夾
Saved in:
檢索工具:
得到RSS訂閱
—
推薦此搜索
—
×
載入...