Formal methods for VLSI design : IFIP WG 10.5 lecture notes / edited by Jørgen Staunstrup

Published:: 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., and Danmarks tekniske højskole. Instituttet for datateknik

Browse Nearby on Shelf

Finding items...

Subject(s):

ISBN:

0444888586 (U.S.)

Note:

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