Somenzi fabio (50 risultati)

Condizione: very_good. Item may have minor cosmetic defects marks, wears, cuts, bends, crushes on the cover, spine, pages or dust cover. Shrink wrap, dust covers, or boxed set case may be missing. Item may contain remainder marks on outside edges, which should be noted in Product Details. Item may be missing bundled media.…

Condizione: good. All pages and cover are intact. Dust jacket included if applicable, though it may be missing on hardcover editions. Spine and cover may show minor signs of wear including scuff marks, curls or bends to corners as well as cosmetic blemishes including stickers. Pages may contain limited notes or highlighting. "From the library of" labels may be present. Shrink wrap, dust covers, or boxed set packaging may be missing. Bundled media e.g., CDs, DVDs, access codes may not be included.…

Condizione: acceptable. Fairly worn, but readable and intact. If applicable: Dust jacket, disc or access code may not be included.

Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condizione: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.

hardcover. Condizione: Very Good. Missing. 1996. Matte paper covers; corners worn with board peeking through lower corner, otherwise mild wear; 4to - over 9 3/4" to 12" tall; no jacket. Top edge of last 30 pages dented/creased; Interior is clean and unmarked; 564 pages. Additional shipping charges may be required due to the size and weight of book.…

Condizione: As New. Unread book in perfect condition.

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condizione: New. In.

PF. Condizione: New.

Condizione: New.

Condizione: New.

paperback. Condizione: Fine.

paperback. Condizione: Very Good.

Condizione: As New. Unread book in perfect condition.

Condizione: New. pp. 480.

Condizione: New. Satisfaction Guaranteed or your money back.

paperback. Condizione: Befriedigend. 500 Seiten; 9783540405245.4 Gewicht in Gramm: 500.

Condizione: Used. pp. xxxii + 564.

Condizione: New. pp. 600.

Condizione: Used. pp. xxxii + 564.

Condizione: New. pp. 600 66:B&W 7 x 10 in or 254 x 178 mm Perfect Bound on White w/Gloss Lam.

Condizione: New. In.

Condizione: Used. pp. xxxii + 564.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Therefereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.…

Paperback. Condizione: New. Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs. Softcover reprint of the original 1st ed. 1996.…

Condizione: New. In.

Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.