《AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION》PDF下载

• 购买积分：11 如何计算积分？
• 作　　者：ALI MILI
• 出 版 社：VAN NOSTRAND REINHOLD COMPANY
• 出版年份：1985
• ISBN：0442263228
• 页数：291 页