検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
著者情報：Zwiers, J. (Job), 1956-
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship U.S. ( Lecture notes in computer science ; 321 )中央図書館J. Zwiers.Springer-Verlag1989中央５階洋 007.1||L 49||321
選択行を
▲ページトップへ