The Correctness-by-Construction Approach to Programming girro 2014年1月1日 9 阅读 0 评论 未分类 The Correctness-by-Construction Approach to Programming Hardcover: 272 pages Publisher: Springer (January 01, 2012) Language: English ISBN-10: 364227918X ISBN-13: 9783642279188 代发服务PDF电子书10元立即求助