检索条件： Model checking software : ( 题名 )

检索结果共有15条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 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..
2 图书 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..
3 图书 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..
4 图书 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..
5 图书 Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /
责任者 Valmari, Antti.

出版信息 Springer, ,c2006.

ISBN 3-540-33102-6 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Valmari, Antti..Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /

Valmari, Antti..Springer,,c2006..
6 图书 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..
7 图书 Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
责任者 Havelund, Klaus,,Majumdar, Rupak.,Palsberg, Jens.

出版信息 Springer, ,c2008

ISBN 9783540851134

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Havelund, Klaus,,Majumdar, Rupak.,Palsberg, Jens..Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /.Springer,,c2008.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /

Havelund, Klaus,,Majumdar, Rupak.,Palsberg, Jens..Springer,,c2008.
8 图书 Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. proceedings /
责任者 Godefroid, Patrice.

出版信息 Springer, ,2005.

ISBN 3-540-28195-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Godefroid, Patrice..Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. proceedings /.Springer,,2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. proceedings /

Godefroid, Patrice..Springer,,2005..
9 图书 Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /
责任者 edited by Christiano Braga, Narciso Mart-Oliet.

出版信息

ISBN 9783319150741 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
edited by Christiano Braga, Narciso Mart-Oliet..Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /

edited by Christiano Braga, Narciso Mart-Oliet..,.
10 图书 Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /
责任者 Edelkamp, Stefan.,Lomuscio, Alessio.

出版信息 Springer, ,c2007.

ISBN 978-3-540-74127-5 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Edelkamp, Stefan.,Lomuscio, Alessio..Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /

Edelkamp, Stefan.,Lomuscio, Alessio..Springer,,c2007..

通借成功!

预约成功!