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

この図書・雑誌をさがす
関連文献: 1件中  1-1を表示
詳細情報
ページトップへ