书籍 AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION的封面

AN INTRODUCTION TO FORMAL PROGRAM VERIFICATIONPDF电子书下载

ALI MILI

购买点数

11

出版社

VAN NOSTRAND REINHOLD COMPANY

出版时间

1985

ISBN

0442263228

标注页数

291 页

PDF页数

302 页

标签

相关书籍
在线购买PDF电子书
下载此书RAR压缩包