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
Author(s)
Bibliographic Information
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
(Lecture notes in computer science, 2144)
Springer, c2001
Available at / 29 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||214401041487
-
University of Tsukuba Library, Library on Library and Information Science
007.08:L-49:2144011004010
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index