检索条件： Model checking / ( 题名 )

检索结果共有26条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Model checking /
责任者 Grumberg, Orna.,Peled, Doron,

出版信息 MIT Press, ,c1999.

ISBN 9780262032704 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Grumberg, Orna.,Peled, Doron,.Model checking /.MIT Press,,c1999..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/317622
复制引文到剪贴板

Model checking /

Grumberg, Orna.,Peled, Doron,.MIT Press,,c1999..
2 图书 25 years of model checking : history, achievements, perspectives /
责任者 Grumberg, Orna.,Veith, Helmut.

出版信息 Springer, ,c2008.

ISBN 9783540698494 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Grumberg, Orna.,Veith, Helmut..25 years of model checking : history, achievements, perspectives /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/292841
复制引文到剪贴板

25 years of model checking : history, achievements, perspectives /

Grumberg, Orna.,Veith, Helmut..Springer,,c2008..
3 图书 Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
责任者 Remke, Anne.,Stoelinga, Marie？lle.

出版信息

ISBN 9783662454886

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Remke, Anne.,Stoelinga, Marie？lle..Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/528348
复制引文到剪贴板

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /

Remke, Anne.,Stoelinga, Marie？lle..,.
4 图书 Model checking software : 16th international Spin workshop, Grenoble, France, June 26-28, 2009. proceedings /
责任者 Pasareanu, Corina S.

出版信息 Springer, ,c2009.

ISBN 9783642026515

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Pasareanu, Corina S..Model checking software : 16th international Spin workshop, Grenoble, France, June 26-28, 2009. proceedings /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/291114
复制引文到剪贴板

Model checking software : 16th international Spin workshop, Grenoble, France, June 26-28, 2009. proceedings /

Pasareanu, Corina S..Springer,,c2009..
5 图书 Model-checking based data retrieval : an application to semistructured and temporal data /
责任者 Elisa Quintarelli.

出版信息 Springer, ,c2004.

ISBN 3-540-20971-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Elisa Quintarelli..Model-checking based data retrieval : an application to semistructured and temporal data /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/219275
复制引文到剪贴板

Model-checking based data retrieval : an application to semistructured and temporal data /

Elisa Quintarelli..Springer,,c2004..
6 图书 Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /
责任者 Ball, Thomas,Rajamani, Sriram K.,

出版信息 Springer, ,c2003.

ISBN 3-540-40117-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ball, Thomas,Rajamani, Sriram K.,.Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/218503
复制引文到剪贴板

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /

Ball, Thomas,Rajamani, Sriram K.,.Springer,,c2003..
7 图书 Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceedings /
责任者 Bo閟na閏ki, Dragan,,Leue, Stefan.

出版信息 Springer, ,2002.

ISBN 3-540-43477-1 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bo閟na閏ki, Dragan,,Leue, Stefan..Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/151940
复制引文到剪贴板

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceedings /

Bo閟na閏ki, Dragan,,Leue, Stefan..Springer,,2002..
8 图书 Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
责任者 Dwyer, Matthew,

出版信息 Springer, ,2001.

ISBN 3-540-42124-6 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dwyer, Matthew,.Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/151460
复制引文到剪贴板

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /

Dwyer, Matthew,.Springer,,2001..
9 图书 Verification of communication protocols in web services : model-checking service compositions /
责任者 Tari, Zahir,,Bertok, Peter,

出版信息

ISBN 9780470905395 (hardback) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Tari, Zahir,,Bertok, Peter,.Verification of communication protocols in web services : model-checking service compositions /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/525483
复制引文到剪贴板

Verification of communication protocols in web services : model-checking service compositions /

Tari, Zahir,,Bertok, Peter,.,.
10 图书 Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
责任者 Bos?nac?ki, Dragan,,Edelkamp, Stefan.

出版信息 Springer, ,c2007.

ISBN 978-3-540-73369-0 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bos?nac?ki, Dragan,,Edelkamp, Stefan..Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/261214
复制引文到剪贴板

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /

Bos?nac?ki, Dragan,,Edelkamp, Stefan..Springer,,c2007..

通借成功!

预约成功!