Correctness Preserving Program Refinements

Proof Theory and Applications


【著者名　】Back、 R. J. R.

【シリーズ】Mathematical Centre Tracts 131

【出版社　】Mathematisch Centrum


【発行年度】1980　 【冊数】1　 【頁数】118　 【判型・装丁】8vo soft large

【現品状態】
少日焼けあり、角少傷み、表紙背側縁に破れ、天地・小口に少シミ・汚れあり、記名消し跡あり、書込みなし

【ISBN】9061962072

￥3,500 税込

数量