l j m claesen (5 Ergebnisse)

Hardcover. Zustand: Very Good. 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.

Zustand: Very Good. Very Good; Softcover; Light wear to the covers; Unblemished textblock edges; The endpapers and all text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); 0.8 lbs; Green covers with title in white lettering; 1993, North Holland Publishing; 588 pages; "Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)," by L.J.M. Claesen & M.J.C. Gordon.

Softcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.

Zustand: Like New. Fine/As New; Softcover; This book is brand new and still sealed in the publisher's original shrinkwrap; Corners are slightly "bumped" through the plastic; This book will be stored and delivered in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); Green covers with title in white lettering; 1993, North Holland Publishing; 588 pages; "Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)," by L.J.M. Claesen & M.J.C. Gordon.

Paperback. Zustand: Brand New. 568 pages. 9.25x6.00x1.00 inches. In Stock.