应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 数学资源 » 【2015新书】《Mathematics of Program Construction》
281/1返回列表
查看: 3271  |  回复: 27
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
【奖励】 本帖被评价24次，作者江南的竹增加金币 18.6 个

江南的竹

主管区长 (文学泰斗)

[资源] 【2015新书】《Mathematics of Program Construction》

Mathematics of Program Construction
Editors: Ralf Hinze, Janis Voigtländer
ISBN: 978-3-319-19796-8 (Print) 978-3-319-19797-5 (Online)

【2015新书】《Mathematics of Program Construction》

【2015新书】《Mathematics of Program Construction》-1

【2015新书】《Mathematics of Program Construction》-2

点击进入：我的数学版资源帖

回复此楼

» 本帖附件资源列表

  • 欢迎监督和反馈：小木虫仅提供交流平台，不对该内容负责。
    本内容由用户自主发布，如果其内容涉及到知识产权问题，其责任在于用户本人，如对版权有异议，请联系邮箱：xiaomuchong@tal.com
  • 附件 1 : Mathematics_of_Program_Construction.pdf
    • 2016-01-01 23:44:14, 5.96 M

» 收录本帖的淘帖专辑推荐

Allen的英文原版+百科 锂电收藏 计算数学与经济统计 Allen的数学
科研与育人

» 猜你喜欢
1楼 2016-01-01 23:44:52
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

人走茶不凉

银虫 (职业作家)

★★★ 三星级,支持鼓励

谢谢楼主分享，祝新年快乐！
赞一下 回复此楼
3楼2016-01-02 08:31:31
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
xmc1411182楼
2016-01-02 05:44   回复  
五星好评  顶一下，感谢分享！
anmingkang4楼
2016-01-02 09:11   回复  
五星好评  顶一下，感谢分享！
askuyue5楼
2016-01-02 11:30   回复  
五星好评  顶一下，感谢分享！
ha16686楼
2016-01-02 16:19   回复  
五星好评  顶一下，感谢分享！
peterflyer7楼
2016-01-03 08:16   回复  
五星好评  顶一下，感谢分享！
daduan8楼
2016-01-04 00:05   回复  
五星好评  顶一下，感谢分享！
c2002z9楼
2016-01-04 13:34   回复  
五星好评  顶一下，感谢分享！
lantianbihb10楼
2016-01-04 15:21   回复  
五星好评  顶一下，感谢分享！
lantianbihb11楼
2016-01-04 15:22   回复  
顶一下，感谢分享！
muxinjin12楼
2016-01-04 22:05   回复  
五星好评  顶一下，感谢分享！
考槃-1013楼
2016-01-04 23:02   回复  
一般  谢谢分享 发自小木虫Android客户端
monkey_ld14楼
2016-01-05 08:09   回复  
五星好评  顶一下，感谢分享！
derek88815楼
2016-01-05 08:16   回复  
五星好评  顶一下，感谢分享！
gjtmawa16楼
2016-01-05 10:36   回复  
五星好评  顶一下，感谢分享！
wjhu17楼
2016-01-05 11:56   回复  
五星好评  顶一下，感谢分享！
nihaoweiming18楼
2016-01-05 18:37   回复  
五星好评  顶一下，感谢分享！
hshxs19楼
2016-01-05 21:44   回复  
顶一下，感谢分享！
xueakng20楼
2016-01-30 14:22   回复  
五星好评  顶一下，感谢分享！
woodhole21楼
2016-02-20 14:25   回复  
五星好评  顶一下，感谢分享！
mandymo22楼
2016-02-21 08:57   回复  
w1y2l3200923楼
2016-02-28 14:05   回复  
五星好评  顶一下，感谢分享！
寰宇咸平24楼
2016-02-29 19:29   回复  
五星好评  顶一下，感谢分享！
zybsbsfly25楼
2017-05-09 16:33   回复  
五星好评  顶一下，感谢分享！
chenqc198526楼
2017-07-17 17:40   回复  
五星好评  顶一下，感谢分享！
乾越27楼
2018-05-19 14:17   回复  
五星好评  顶一下，感谢分享！
Giant9528楼
2024-12-22 06:24   回复  
五星好评  顶一下，感谢分享！
相关版块跳转 我要订阅楼主 江南的竹 的主题更新
281/1返回列表
☆ 无星级 ★ 一星级 ★★★ 三星级 ★★★★★ 五星级
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3 6F5UbRU2I5hL 2026-09-14 3/150 2026-09-15 08:14 by C79jjtjAKjEn
[博后之家] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +3 s3fFTmArrBt6 2026-09-14 3/150 2026-09-15 07:34 by C79jjtjAKjEn
[硕博家园] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +4 s3fFTmArrBt6 2026-09-14 4/200 2026-09-15 07:26 by C79jjtjAKjEn
[教师之家] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +4 s3fFTmArrBt6 2026-09-13 4/200 2026-09-15 07:02 by 5BDX0d0WFp7t
[教师之家] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +4 s3fFTmArrBt6 2026-09-13 4/200 2026-09-15 06:50 by 5BDX0d0WFp7t
[考研] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 +4 LwdutQ8HoqWP 2026-09-13 4/200 2026-09-15 06:14 by 5BDX0d0WFp7t
[找工作] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 3n8v2C8RimXI 2026-09-13 4/200 2026-09-15 06:01 by 5BDX0d0WFp7t
[教师之家] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +6 3n8v2C8RimXI 2026-09-13 6/300 2026-09-15 05:38 by 5BDX0d0WFp7t
[硕博家园] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3 3n8v2C8RimXI 2026-09-13 3/150 2026-09-15 05:26 by 5BDX0d0WFp7t
[公派出国] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +6 QUjhNVAcOSff 2026-09-13 8/400 2026-09-15 05:01 by mibUvS8DDCwf
[考研] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +4 QUjhNVAcOSff 2026-09-13 4/200 2026-09-15 05:00 by mibUvS8DDCwf
[硕博家园] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +3 23jxep3nCNZb 2026-09-14 3/150 2026-09-15 01:21 by mibUvS8DDCwf
[博后之家] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +3 s3fFTmArrBt6 2026-09-13 4/200 2026-09-14 23:24 by vZfe6xYu34yj
[硕博家园] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +3 s3fFTmArrBt6 2026-09-13 5/250 2026-09-14 22:45 by vZfe6xYu34yj
[考研] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +5 LwdutQ8HoqWP 2026-09-13 5/250 2026-09-14 22:25 by vZfe6xYu34yj
[考博] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +5 QUjhNVAcOSff 2026-09-13 5/250 2026-09-14 21:36 by vZfe6xYu34yj
[找工作] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 +3 QUjhNVAcOSff 2026-09-13 5/250 2026-09-14 21:25 by vZfe6xYu34yj
[找工作] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 s3fFTmArrBt6 2026-09-14 4/200 2026-09-14 17:48 by Aj1rhIDL5ixY
[硕博家园] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 QUjhNVAcOSff 2026-09-13 3/150 2026-09-14 15:09 by Aj1rhIDL5ixY
[找工作] 浙江师范大学是怎么坑我的 +6 recruit123 2026-09-09 6/300 2026-09-14 12:00 by 萨仁其其格
信息提示
关闭
请填处理意见
关闭