Mathematical proofs of computer system correctness
著者
書誌事項
Mathematical proofs of computer system correctness
（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-89-136）
Center for the Study of Language and Information, 1989
大学図書館所蔵 全1件
この図書・雑誌をさがす
注記
"August 1989"