检索条件： Peled, Doron, ( 著者 )

检索结果共有7条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings /
责任者 Alur, Rajeev,,Peled, Doron,

出版信息 Springer, ,c2004.

ISBN 3-540-22342-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Alur, Rajeev,,Peled, Doron,.Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings /

Alur, Rajeev,,Peled, Doron,.Springer,,c2004..
2 图书 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..
3 图书 Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /
责任者 Peled, Doron,,Vardi, Moshe Y.

出版信息 Springer, ,c2002.

ISBN 3-540-00141-7 (alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Peled, Doron,,Vardi, Moshe Y..Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /

Peled, Doron,,Vardi, Moshe Y..Springer,,c2002..
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 图书 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..
6 图书模型检测
责任者 (美) Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled著

出版信息电子工业出版社 ,2018

ISBN 978-7-121-35274-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(美) Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled著.模型检测.电子工业出版社,2018.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

模型检测

(美) Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled著.电子工业出版社,2018.
7 图书模型检测
责任者 (美) Edmund M. Clarke Jr.，(美) Orna Grumberg，(美) Doron A. Peled著

出版信息电子工业出版社 ,2016

ISBN 978-7-121-27295-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(美) Edmund M. Clarke Jr.，(美) Orna Grumberg，(美) Doron A. Peled著.模型检测.电子工业出版社,2016.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

模型检测

(美) Edmund M. Clarke Jr.，(美) Orna Grumberg，(美) Doron A. Peled著.电子工业出版社,2016.

通借成功!

预约成功!