检索条件： Verification, model checking, and abstract interpretation : ( 题名 )

检索结果共有8条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Verification, model checking and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 2002 : proceedings /
责任者 Cortesi, Agostino,

出版信息 Springer, ,2002.

ISBN 3-540-43631-6 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cortesi, Agostino,.Verification, model checking and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Verification, model checking and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 2002 : proceedings /

Cortesi, Agostino,.Springer,,2002..
2 图书 Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
责任者 Jones, Neil D.,Müller-Olm, Markus.

出版信息 Springer, ,c2009.

ISBN 9783540938996 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Jones, Neil D.,Müller-Olm, Markus..Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /

Jones, Neil D.,Müller-Olm, Markus..Springer,,c2009..
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..
4 图书 Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
责任者 Cook, Byron.,Podelski, Andreas.

出版信息 Springer, ,c2007.

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

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cook, Byron.,Podelski, Andreas..Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

Cook, Byron.,Podelski, Andreas..Springer,,c2007..
5 图书 Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings /
责任者 Emerson, E. Allen.,Namjoshi, Kedar S.

出版信息 Springer, ,c2006.

ISBN 3-540-31139-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Emerson, E. Allen.,Namjoshi, Kedar S..Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings /

Emerson, E. Allen.,Namjoshi, Kedar S..Springer,,c2006..
6 图书 Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
责任者 Cousot, Radhia.

出版信息 Springer, ,c2005.

ISBN 3-540-24297-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cousot, Radhia..Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /

Cousot, Radhia..Springer,,c2005..
7 图书 Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /
责任者 Steffen, Bernhard.,Levi, G.

出版信息 Springer, ,c2004.

ISBN 3-540-20803-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Steffen, Bernhard.,Levi, G..Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /

Steffen, Bernhard.,Levi, G..Springer,,c2004..
8 图书 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..

通借成功!

预约成功!