検索結果 - Program verification (computers)
関連のトピックス ...
関連のトピックス ...
-
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
出版事項 c2008.主題: “…Computer software Verification.…”
全文の入手
OPACで表示
電子媒体 eBook