检索条件： Zuck, Lenore D., ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
责任者 Zuck, Lenore D.,

出版信息 Springer, ,c2003.

ISBN 3-540-00348-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Zuck, Lenore D.,.Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /

Zuck, Lenore D.,.Springer,,c2003..
2 图书 Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
责任者 Halbwachs, Nicolas.,Zuck, Lenore D.,

出版信息 Springer, ,c2005.

ISBN 3-540-25333-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Halbwachs, Nicolas.,Zuck, Lenore D.,.Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /

Halbwachs, Nicolas.,Zuck, Lenore D.,.Springer,,c2005..
3 图书 Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /
责任者 Logozzo, Francesco.,Peled, Doron,,Zuck, Lenore D.,

出版信息 Springer, ,c2008.

ISBN 9783540781622 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Logozzo, Francesco.,Peled, Doron,,Zuck, Lenore D.,.Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /

Logozzo, Francesco.,Peled, Doron,,Zuck, Lenore D.,.Springer,,c2008..

通借成功!

预约成功!