检索条件： International Symposium of Formal Methods Europe ( 著者 )

检索结果共有6条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 International Symposium of Formal Mechods Europe(1st : 1993 : Odense)：FME`93 : Industrial strength formal methods
责任者 International Symposium of Formal Methods Europe

出版信息 Springer ,1993

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Symposium of Formal Methods Europe.International Symposium of Formal Mechods Europe(1st : 1993 : Odense)：FME`93 : Industrial strength formal methods.Springer,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Symposium of Formal Mechods Europe(1st : 1993 : Odense)：FME`93 : Industrial strength formal methods

International Symposium of Formal Methods Europe.Springer,1993.
2 图书 FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /
责任者 Cuellar, Jorge.,Maibaum, Thomas S. E.,,Sere, K.

出版信息 Springer, ,c2008.

ISBN 9783540682356

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cuellar, Jorge.,Maibaum, Thomas S. E.,,Sere, K..FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /

Cuellar, Jorge.,Maibaum, Thomas S. E.,,Sere, K..Springer,,c2008..
3 图书 FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, U.K., July 18-22, 2005 : proceedings /
责任者 Fitzgerald, John,,Hayes, Ian.,Tarlecki, Andrzej.

出版信息 Springer, ,c2005.

ISBN 3-540-27882-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Fitzgerald, John,,Hayes, Ian.,Tarlecki, Andrzej..FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, U.K., July 18-22, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, U.K., July 18-22, 2005 : proceedings /

Fitzgerald, John,,Hayes, Ian.,Tarlecki, Andrzej..Springer,,c2005..
4 图书 FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
责任者 Araki, Keijiro,,Gnesi, Stefania,,Mandrioli, Dino.

出版信息 Springer-Verlag, ,2003.

ISBN 3-540-40828-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Araki, Keijiro,,Gnesi, Stefania,,Mandrioli, Dino..FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /.Springer-Verlag,,2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /

Araki, Keijiro,,Gnesi, Stefania,,Mandrioli, Dino..Springer-Verlag,,2003..
5 图书 FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
责任者 Eriksson, L.-H.,Lindsay, Peter Alexander,

出版信息 Springer, ,c2002.

ISBN 3-540-43928-5 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Eriksson, L.-H.,Lindsay, Peter Alexander,.FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /

Eriksson, L.-H.,Lindsay, Peter Alexander,.Springer,,c2002..
6 图书 FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings /
责任者 Oliveira, Jos鈋 N.,Zave, Pamela,

出版信息 Springer, ,2001.

ISBN 3-540-41791-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Oliveira, Jos鈋 N.,Zave, Pamela,.FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings /

Oliveira, Jos鈋 N.,Zave, Pamela,.Springer,,2001..

通借成功!

预约成功!