检索条件： Müller-Olm, Markus. ( 著者 )

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 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..
2 图书 Variations on constants : flow analysis of sequential and parallel programs /
责任者 Markus Müller-Olm.

出版信息 Springer, ,c2006.

ISBN 3-540-45385-7 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Markus Müller-Olm..Variations on constants : flow analysis of sequential and parallel programs /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Variations on constants : flow analysis of sequential and parallel programs /

Markus Müller-Olm..Springer,,c2006..

通借成功!

预约成功!