检索条件： Process algebra and probabilistic methods : ( 题名 )

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Process algebra and probabilistic methods : performance modeling and verification, second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, proceedings /
责任者 Hermanns, Holger,,Segala, Roberto,

出版信息 Springer, ,c2002.

ISBN 3-540-43913-7 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hermanns, Holger,,Segala, Roberto,.Process algebra and probabilistic methods : performance modeling and verification, second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Process algebra and probabilistic methods : performance modeling and verification, second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, proceedings /

Hermanns, Holger,,Segala, Roberto,.Springer,,c2002..
2 图书 Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /
责任者 De Alfaro, Luca,,Gilmore, Stephen,

出版信息 Springer-Verlag, ,c2001.

ISBN 3-540-42556-X (pbk. : acid-free paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
De Alfaro, Luca,,Gilmore, Stephen,.Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /.Springer-Verlag,,c2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /

De Alfaro, Luca,,Gilmore, Stephen,.Springer-Verlag,,c2001..

通借成功!

预约成功!