£20.20
FREE UK Shipping*
✓ In stock
* Allow 7-10 business days for delivery, usually by Royal Mail Tracked 48 or Second Class Post.
Formal VLSI Correctness Verification: VLSI Design Methods (Volumes I and II)
Author(s): Claesen, L J M (editor)
| Binding: | Hardcover |
| Volume Condition: | Very Good |
| Dust Jacket: | No |
| Dust Jacket Condition: | N/A |
| Language: | English |
| Publisher Name: | North-Holland |
| Publication Year: | 1990 |
| Publication Place: | Amsterdam, NL |
| Book ID: | 024651 |
| Catalogue(s): | Internet, Computing, Information and Communications Technology |
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:
Information Technology
Computing
Computer Programming
Integrated Circuits
Microchips
