作者:DavidGries
出版社:Springer
出版年:1989-4-21
页数:388
定价:USD99.00
装帧:Paperback
ISBN:9780387964805
内容简介
······
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
评论 ······
Best book on writing correct programs
这书是讲程序验证的啊,之前那篇热传算法blog为什么会觉得这本书很重要,真的用的出来么
搭配CMU class notes食用..
看不太懂
评论前必须登录!
注册