检索条件： Honsell, Furio ( 著者 )

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 8-12, 2001 : proceedings /
责任者 Honsell, Furio,Miculan, Mariao

出版信息 Springer, ,2002.

ISBN 3-540-41864-4 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Honsell, Furio,Miculan, Mariao.Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 8-12, 2001 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 8-12, 2001 : proceedings /

Honsell, Furio,Miculan, Mariao.Springer,,2002..
2 图书 Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
责任者 Miculan, Marino.,Scagnetto, Ivan.,Honsell, Furio.

出版信息 Springer, ,c2008.

ISBN 9783540680840 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Miculan, Marino.,Scagnetto, Ivan.,Honsell, Furio..Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /

Miculan, Marino.,Scagnetto, Ivan.,Honsell, Furio..Springer,,c2008..

通借成功!

预约成功!