发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers

Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers

N.V. Shilov; K. Yi

作者N.V. Shilov; K. Yi
卷第43卷
印刷ISSN1571-0661
文件大小187.61KB
发表时间2001
DOI10.1016/s1571-0661(04)80893-4
页码34-49

← 返回【学霸图书馆】主页