Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

書誌事項

Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

edited by Jørgen Staunstrup, Robin Sharp

(IFIP transactions, A . Computer science and technology ; 5)

North-Holland , Elsevier Science [distributor], 1992

大学図書館所蔵 件 / 9

この図書・雑誌をさがす

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ