Correct hardware design methodologies : proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
Author(s)
Bibliographic Information
Correct hardware design methodologies : proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
North-Holland , Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1992
Available at / 4 libraries
-
No Libraries matched.
- Remove all filters.
Note
"Organized by ESPRIT Basic Research Action 3216 'CHARME' ... in cooperation with EEC CEC, Directorate General XIII [and] IFIP WG 10.2."
"Sponsored by Politecnico di Torino."
Includes bibliographical references and index