Formal methods for VLSI design : IFIP WG 10.5 lecture notes / edited by Jørgen Staunstrup
- Amsterdam ; New York : North-Holland, 1990.
New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
- Physical Description:
- 329 pages : illustrations ; 24 cm
- Additional Creators:
- Staunstrup, J. (Jørgen), 1952-
IFIP WG 10.5.
Danmarks tekniske højskole. Instituttet for datateknik
Full Text available online
By special arrangement in response to the COVID-19 pandemic, patrons may access this resource online through the HathiTrust Emergency Temporary Access Service.
- 0444888586 (U.S.)
- Written for the international summer school organized by the Computer Science Dept. of the Technical University of Denmark and held in June 1990.
- Bibliography Note:
- Includes bibliographical references.
View MARC record | catkey: 1556656