检索条件： Dines Bjorner 著 ( 任意词 )

检索结果共有8条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书软件工程卷3：领域、需求与软件设计
责任者 Dines Bjorner,比约尼尔

出版信息清华大学出版社 ,2010.1

ISBN 978-7-302-20892-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dines Bjorner,比约尼尔.软件工程卷3：领域、需求与软件设计.清华大学出版社,2010.1.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

软件工程卷3：领域、需求与软件设计

Dines Bjorner,比约尼尔.清华大学出版社,2010.1.
2 图书软件工程卷2：系统与语言规约：Specification of systems and languages
责任者 Dines Bjorner,比约尼尔

出版信息清华大学出版社 ,2010.1

ISBN 978-7-302-20891-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dines Bjorner,比约尼尔.软件工程卷2：系统与语言规约：Specification of systems and languages.清华大学出版社,2010.1.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

软件工程卷2：系统与语言规约：Specification of systems and languages

Dines Bjorner,比约尼尔.清华大学出版社,2010.1.
3 图书软件工程卷1——抽象与建模：Abstraction and modeling
责任者 Dines Bjorner,比约尼尔

出版信息清华大学出版社 ,2010.1

ISBN 978-7-302-20890-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dines Bjorner,比约尼尔.软件工程卷1——抽象与建模：Abstraction and modeling.清华大学出版社,2010.1.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

软件工程卷1——抽象与建模：Abstraction and modeling

Dines Bjorner,比约尼尔.清华大学出版社,2010.1.
4 图书 Baltic computer science
责任者 J. Barzdins,D. Bjorner

出版信息 Springer ,1991

ISBN 3-540-54131-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. Barzdins,D. Bjorner.Baltic computer science.Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Baltic computer science

J. Barzdins,D. Bjorner.Springer,1991.
5 图书 Formal specification and software development
责任者 D. Bjorner & C. B. Jones

出版信息 Prentice-Hall Intmational ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
D. Bjorner & C. B. Jones.Formal specification and software development.Prentice-Hall Intmational,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal specification and software development

D. Bjorner & C. B. Jones.Prentice-Hall Intmational,1982.
6 图书 Towards a formal description of Ada.．v.1
责任者 D. Bjorner,O. N. Oest

出版信息 Springer ,1980

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
D. Bjorner,O. N. Oest.Towards a formal description of Ada.．v.1.Springer,1980.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Towards a formal description of Ada.．v.1

D. Bjorner,O. N. Oest.Springer,1980.
7 图书 Towards a formal description of Ada.．v.2
责任者 D. Bjorner,O. N. Oest

出版信息 Springer ,1980

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
D. Bjorner,O. N. Oest.Towards a formal description of Ada.．v.2.Springer,1980.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Towards a formal description of Ada.．v.2

D. Bjorner,O. N. Oest.Springer,1980.
8 图书 Formal methods and hybrid real-time systems : essays in honour of Dines Bj?rner and Zhou Chaochen on the occasion of their 70th birthdays /
责任者

出版信息

ISBN 2007935177

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Formal methods and hybrid real-time systems : essays in honour of Dines Bj?rner and Zhou Chaochen on the occasion of their 70th birthdays /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods and hybrid real-time systems : essays in honour of Dines Bj?rner and Zhou Chaochen on the occasion of their 70th birthdays /

.,.

通借成功!

预约成功!