检索条件： Automated technology for verification and analysis : ( 题名 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
责任者 Cha, Sungdeok.

出版信息 Springer, ,c2008.

ISBN 9783540883869

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cha, Sungdeok..Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /

Cha, Sungdeok..Springer,,c2008..
2 图书 Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings /
责任者 Namjoshi, Kedar S.

出版信息 Springer, ,c2007.

ISBN 978-3-540-75595-1 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Namjoshi, Kedar S..Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings /

Namjoshi, Kedar S..Springer,,c2007..
3 图书 Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /
责任者 Graf, Susanne.,Zhang, Wenhui,

出版信息 Springer, ,c2006.

ISBN 3-540-47237-1 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Graf, Susanne.,Zhang, Wenhui,.Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /

Graf, Susanne.,Zhang, Wenhui,.Springer,,c2006..
4 图书 Automated technology for verification and analysis : third international conference, ATVA 2005, Taipei, Taiwan, ROC, October 4-7, 2005 : proceedings /
责任者 Peled, Doron A.,Tsay, Yih-Kuen.

出版信息 Springer-Verlag, ,c2005.

ISBN 3-540-29209-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Peled, Doron A.,Tsay, Yih-Kuen..Automated technology for verification and analysis : third international conference, ATVA 2005, Taipei, Taiwan, ROC, October 4-7, 2005 : proceedings /.Springer-Verlag,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated technology for verification and analysis : third international conference, ATVA 2005, Taipei, Taiwan, ROC, October 4-7, 2005 : proceedings /

Peled, Doron A.,Tsay, Yih-Kuen..Springer-Verlag,,c2005..
5 图书 Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
责任者 Wang, Farn.

出版信息 Springer, ,c2004.

ISBN 3-540-23610-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Wang, Farn..Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /

Wang, Farn..Springer,,c2004..

通借成功!

预约成功!