Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Spedizione gratuita
Paese del venditore
Valutazione venditore
Editore: Cambridge University Press, 1993
ISBN 10: 0521422256ISBN 13: 9780521422253
Da: More Than Words, Waltham, MA, U.S.A.
Libro
Condizione: Very Good. . . All orders guaranteed and ship within 24 hours. Before placing your order for please contact us for confirmation on the book's binding. Check out our other listings to add to your order for discounted shipping.
Ulteriori offerte da altri venditori AbeBooks
Usato - A partire da EUR 1,79
Editore: The Tate Gallery, London, 1971
ISBN 10: 0843560355ISBN 13: 9780843560350
Da: Lucky Panther Books, Leonia, NJ, U.S.A.
Libro
Hardcover. Condizione: Near Fine. Condizione sovraccoperta: Poor. Accompanies exhibit at The Tate Dec '71 - Feb '72. Includes biography, chronology, index to lenders. 222 total images including color plates and black & white details of plates, other monochrome images. Copy of Hogarth's Copyright A t of 15 May 1735 on end pages. Jacket has large and small tears which have been repaired on reverse with clear, removable tape. Book has creased corners on several pages. Dark brown boards, very slightly cocked, have gold lettering and design that's crisp and bright. 92 pages, 8 1/2" x 12".
Ulteriori offerte da altri venditori AbeBooks
Usato - A partire da EUR 14,49
Scopri anche Prima edizione
Editore: Booklocker.com, 2014
ISBN 10: 1626469997ISBN 13: 9781626469990
Da: GreatBookPrices, Columbia, MD, U.S.A.
Libro
Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 20,09
Usato - A partire da EUR 23,47
Scopri anche Brossura
Editore: Cambridge University Press, 1990
ISBN 10: 0521395607ISBN 13: 9780521395601
Da: Lady Lisa's Bookshop, Chester, Regno Unito
Libro
Paperback. Condizione: Used: Acceptable. Paperback - 1990 - good condition - - used books, secondhand books, out of print books, hard to find books, for sale, second-hand books, college books, student books, nonfiction, first edition, exlibrary books sold, signed copies, non-fiction books delivered world wide. 0-521-39560-7. Isbn 0-521395607. Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 64,08
Usato - A partire da EUR 20,84
Scopri anche Brossura
Editore: Nova Science Publishers Inc, 2008
ISBN 10: 160456590XISBN 13: 9781604565904
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Libro
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 43,16
Usato - A partire da EUR 49,78
Scopri anche Brossura
Editore: Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Da: HPB-Red, Dallas, TX, U.S.A.
Libro
paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 57,87
Usato - A partire da EUR 45,67
Scopri anche Brossura
Editore: Cambridge : Cambridge University Press, 1991
ISBN 10: 0521390222ISBN 13: 9780521390224
Da: MW Books, New York, NY, U.S.A.
Libro Prima edizione
First Edition. Very good copy in the colour-printed boards. Spine bands and panel edges somewhat dulled and rubbed as with age. Bumped corners. Some light foxing to prelims. Remains quite well-preserved overall. Physical description: x, 429 pages : illustrations ; 25 cm. Notes: First published: 1991. Includes bibliographical references (p. [407]-409) and index.Contents: Introduction -- Names, functions, and types -- Lists -- Trees and concrete data -- Functions and infinite data -- Reasoning about functional programs -- Modules -- Imperative programming in ml -- Writing interpreters for the -calculus -- Tactical theorem prover. Subjects: Standard ML (Computer program language).ML (Computer program language). ML (Langage de programmation)ML (Computer program language). Funktionale ProgrammierspracheStandard ML 1 Kg.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 113,78
Usato - A partire da EUR 52,53
Scopri anche Rilegato Prima edizione
Editore: Springer, 1994
ISBN 10: 3540582444ISBN 13: 9783540582441
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 53,91
Usato - A partire da EUR 107,34
Scopri anche Brossura
Editore: Cambridge University Press, 1996
ISBN 10: 052156543XISBN 13: 9780521565431
Da: Antiquariat Bernhardt, Kassel, Germania
Libro
Broschiert. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Buchecke hinten bestoßen. Mit Vorbesitzereintrag. XVIII, 476 Seiten, Englisch 958g.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 64,18
Usato - A partire da EUR 21,60
Scopri anche Brossura
Editore: Springer, 2010
ISBN 10: 3642140513ISBN 13: 9783642140518
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 134,76
Editore: Cambridge University Press, 1987
ISBN 10: 0521346320ISBN 13: 9780521346320
Da: Ammareal, Morangis, Francia
Libro
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.