检索条件： Huth, Michael, ( 著者 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
责任者 Grumberg, Orna.,Huth, Michael,

出版信息 Springer, ,c2007.

ISBN 978-3-540-71208-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Grumberg, Orna.,Huth, Michael,.Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /

Grumberg, Orna.,Huth, Michael,.Springer,,c2007..
2 图书面向计算机科学的数理逻辑：系统建模与推理：modelling and reasoning about systems
责任者 M. 胡特,M. 瑞安

出版信息机械工业出版社 ,2007

ISBN 978-7-111-21397-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
M. 胡特,M. 瑞安.面向计算机科学的数理逻辑：系统建模与推理：modelling and reasoning about systems.机械工业出版社,2007.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

面向计算机科学的数理逻辑：系统建模与推理：modelling and reasoning about systems

M. 胡特,M. 瑞安.机械工业出版社,2007.
3 图书 Logic in computer science : modelling and reasoning about systems /
责任者 Michael Huth, Mark Ryan.

出版信息

ISBN 9780521543101 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Michael Huth, Mark Ryan..Logic in computer science : modelling and reasoning about systems /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic in computer science : modelling and reasoning about systems /

Michael Huth, Mark Ryan..,.
4 图书 Logic in computer science : modelling and reasoning about systems =: 面向计算机科学的数理逻辑 : 系统建模与推理 /
责任者 Ryan, Mark,

出版信息 China Machine Press, ,2005.

ISBN 7-111-16053-3 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ryan, Mark,.Logic in computer science : modelling and reasoning about systems =: 面向计算机科学的数理逻辑 : 系统建模与推理 /.China Machine Press,,2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic in computer science : modelling and reasoning about systems =: 面向计算机科学的数理逻辑 : 系统建模与推理 /

Ryan, Mark,.China Machine Press,,2005..
5 图书 Logic in computer science : modelling and reasoning about systems /
责任者 Ryan, Mark,

出版信息 Cambridge University Press, ,2004.

ISBN 0-521-54310-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ryan, Mark,.Logic in computer science : modelling and reasoning about systems /.Cambridge University Press,,2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic in computer science : modelling and reasoning about systems /

Ryan, Mark,.Cambridge University Press,,2004..

通借成功!

预约成功!