Imej Kulit

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /

This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the...

Penerangan Penuh

Disimpan dalam:
Butiran Bibliografi
Pengarang Korporat: CHARME 2001 Livingston, Scotland)
Pengarang-pengarang Lain: Margaria, Tiziana., Melham, T. F., Margaria-Steffen, Tiziana, 1964-
Format: Buku
Bahasa:English
Diterbitkan: Berlin ; New York : Springer, 2001.
Siri:Lecture notes in computer science ; 2144.
Subjek-subjek:
Integrated circuits > Very large scale integration > Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.
Computer science.
Computer hardware.
Software engineering.
Logic design.
Artificial intelligence.
Computer aided design.
Conference proceedings.
Livingston (Lothian Region, 2001)
Conference papers and proceedings.
Penanda-penanda: Tambah Penanda
Tiada Penanda, Jadilah orang pertama menanda rekod ini!

3rd Floor Main Library

Butiran pegangan daripada %%lokasi%%
Nombor panggilan: A1234.567
Salinan 1 Tersedia

Item Serupa