检索条件： Program construction ( 题名 )

检索结果共有9条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Program construction：international summer school
责任者 F. L. Bauer,B. Broy

出版信息 Springer ,1979

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
F. L. Bauer,B. Broy.Program construction：international summer school.Springer,1979.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Program construction：international summer school

F. L. Bauer,B. Broy.Springer,1979.
2 图书 Tools and notions for program construction：an advanced course
责任者 D. Neel

出版信息 Cambridge Univ. ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
D. Neel.Tools and notions for program construction：an advanced course.Cambridge Univ.,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Tools and notions for program construction：an advanced course

D. Neel.Cambridge Univ.,1982.
3 图书 International Conference on the Mathematics of Program Construction(2nd : 1992 : Oxford)：Mathematics of program construction
责任者 International Conference on the Mathematics of Program Construction

出版信息 Springer ,1993

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on the Mathematics of Program Construction.International Conference on the Mathematics of Program Construction(2nd : 1992 : Oxford)：Mathematics of program construction.Springer,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Conference on the Mathematics of Program Construction(2nd : 1992 : Oxford)：Mathematics of program construction

International Conference on the Mathematics of Program Construction.Springer,1993.
4 图书 Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /
责任者 Audebaud, Philippe.,Paulin-Mohring, Christine.

出版信息 Springer, ,2008.

ISBN 9783540705932 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Audebaud, Philippe.,Paulin-Mohring, Christine..Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /.Springer,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /

Audebaud, Philippe.,Paulin-Mohring, Christine..Springer,,2008..
5 图书 Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /
责任者 Uustalu, Tarmo.

出版信息 Springer, ,c2006.

ISBN 3-540-35631-2 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Uustalu, Tarmo..Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /

Uustalu, Tarmo..Springer,,c2006..
6 图书 Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /
责任者 Kozen, Dexter,

出版信息 Springer, ,c2004.

ISBN 3-540-22380-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kozen, Dexter,.Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /

Kozen, Dexter,.Springer,,c2004..
7 图书 Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
责任者 Boiten, Eerke,,M鑟ller, Bernhard,

出版信息 Springer, ,c2002.

ISBN 3-540-43857-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Boiten, Eerke,,M鑟ller, Bernhard,.Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /

Boiten, Eerke,,M鑟ller, Bernhard,.Springer,,c2002..
8 图书 Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 2000, revised lectures /
责任者 Backhouse, Roland C.,,Crole, Roy L.,Gibbons, Jeremy,

出版信息 Springer, ,2002.

ISBN 3-540-43613-8 (softcover : acid-free paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Backhouse, Roland C.,,Crole, Roy L.,Gibbons, Jeremy,.Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 2000, revised lectures /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 2000, revised lectures /

Backhouse, Roland C.,,Crole, Roy L.,Gibbons, Jeremy,.Springer,,2002..
9 图书 Turbo pascal 6.0：the nuts and bolts of program construction
责任者 John DiElsi

出版信息 Mcgraw-Hill, Inc. ,1991

ISBN 0-07-557790-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
John DiElsi.Turbo pascal 6.0：the nuts and bolts of program construction.Mcgraw-Hill, Inc.,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Turbo pascal 6.0：the nuts and bolts of program construction

John DiElsi.Mcgraw-Hill, Inc.,1991.

通借成功!

预约成功!