Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings
- フォーマット:
- 図書
- 責任表示:
- George J. Milne, Laurence Pierre (eds.)
- 言語:
- 英語
- 出版情報:
- Berlin ; Tokyo : Springer-Verlag, c1993
- 形態:
- vi, 269 p. : ill. ; 24 cm
- 著者名:
- シリーズ名:
- Lecture notes in computer science ; 683 <BA00009279>
- 書誌ID:
- BA2032266X
- ISBN:
- 9783540567783 [354056778X] (: gw)
9780387567785 [038756778X] (: us)
類似資料:
North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co. | |
North-Holland, Distributed in the U.S. and Canada, Elsevier Science Pub. Co. |
North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co. |
Springer | |
North-Holland, Distributed for the U.S. and Canada, Elsevier Science Pub. Co. |
North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada, Elsevier North-Holland |
North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. | |
North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. |