AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION

出版社

VAN NOSTRAND REINHOLD COMPANY

出版时间

1985

ISBN

0442263228

标注页数

291 页

PDF页数

302 页