Formal Aspects of VLSI Design

Hard Cover, Amsterdam, Netherlands: Elsevier Science Publishers, 1986. Good with no dust jacket.

Exlibrary markings. A sound, tight, square copy of this very scarce title, in a blue cloth binding with white lettering, withdrawn from the IBM Technology Library in Endicott, New York; text is clean and unmarked; exterior clean; binding shows almost no wear, very faint ghost of label on rear; 3/4" green mark across top edge of text block. Proceedings of the 1985 Edinburgh Workshop on VLSI (Very Large Scale Integration), Edinburgh, Scotland, UK. "The research described in this proceedings recognises the increasing relevance for formal techniques for synthesis, verification, and simulation in the context of VLSI design."; Ex-Library; 9.75" tall; 213 pages.

ISBN: 0444700269           Item #4080031

Price: $40.00