This is a Bargain Corner Book!

You need to either purchase at least 3 Bargain Corner books or you may add any number of Bargain Corner books to your basket if your order already contains at least one other book from our other Catalogues.

Formal VLSI Correctness Verification: VLSI Design Methods (Volumes I and II)

Author(s):

Claesen, L J M (editor)

Illustrator(s):

Binding:

Hardcover

Volume Condition:

Very Good

Dust Jacket:

Dust Jacket Condition:

N/A

Dust Jacket Protection:

–

Edition:

–

Impression:

–

Signature:

–

Language:

English

Publisher Name:

North-Holland

Publication Year:

1990

Publication Place:

Amsterdam, NL

ISBN:

–

Book ID:

024651

Catalogue(s):

Internet, Computing, Information and Communications Technology

£20.20

FREE UK Shipping*

In stock

Want delivery to a non-UK address?

* Allow 7-10 business days for delivery, usually by Royal Mail Tracked 48 or Second Class Post.

Complete in two volumes. xvi, 414pp, with some charts, tables, diagrams etc in text; xvi, 428pp, with charts, tables etc in text. Both volumes uniformly bound in green cloth-covered boards with black relief decorations and white lettering front and spine. 8vo. Very gently pushed at spine ends. Previous owner’s initials on front free endpapers and occasional neat pencil annotations else neat, clean, bright and tight throughout. The proceedings of the IFIP WG International Workshop on Applied Formal Methods for Correct VLSI [Very Large Scale Integration] Design, 1989. VSLI is the process of created an integrated circuit by combining billions of MOS transistors onto a single chip.

Keywords: