Gesamtpreis (1 Artikel Artikel):
Versandziel:
paulson lawrence c (69 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (69)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (43)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (8)
- Gut oder Befriedigend (17)
- Ausreichend oder Schlecht (1)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (30)
- Keine Print-on-Demand Angebote (60)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
ML for the Working Programmer
Verlag: Cambridge University Press, 1993
ISBN 10: 0521422256 ISBN 13: 9780521422253
Sprache: Englisch
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 5,47
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain a few markings such as an owner's name, short gifter's inscription or light stamp.
-
ML for the Working Programmer
Verlag: Cambridge University Press, 1993
ISBN 10: 0521422256 ISBN 13: 9780521422253
Sprache: Englisch
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 6,69
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.75.
-
ML for the Working Programmer
Verlag: Cambridge University Press, 1992
ISBN 10: 0521422256 ISBN 13: 9780521422253
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 6,70
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. New Ed. Used book that is in clean, average condition without any missing pages.
-
ML for the Working Programmer
Verlag: Cambridge University Press, 1992
ISBN 10: 0521422256 ISBN 13: 9780521422253
Sprache: Englisch
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 6,70
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. New Ed. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
ML for the Working Programmer
Verlag: Cambridge University Press, 1991
ISBN 10: 0521390222 ISBN 13: 9780521390224
Sprache: Englisch
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 18,70
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 3.8.
-
ML for the Working Programmer
Verlag: Cambridge University Press, 1991
ISBN 10: 0521390222 ISBN 13: 9780521390224
Sprache: Englisch
EUR 15,23
Währung umrechnenEUR 5,07 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. Good. Ex-Library with usual stamps and stickers. Used with moderate to heavy wear to covers and corners, sunning to spine. Age-toning to pages. NO markings and binding is sturdy.
-
ML for the Working Programmer
Verlag: Cambridge University Press, 1992
ISBN 10: 0521422256 ISBN 13: 9780521422253
Sprache: Englisch
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 11,01
Währung umrechnenEUR 9,22 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. New Ed. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
ML for the Working Programmer
Verlag: Cambridge University Press, 1991
ISBN 10: 0521390222 ISBN 13: 9780521390224
Sprache: Englisch
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 14,05
Währung umrechnenEUR 9,22 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
ML for the Working Programmer
Verlag: Cambridge University Press, 1992
ISBN 10: 0521422256 ISBN 13: 9780521422253
Sprache: Englisch
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Petite(s) trace(s) de pliure sur la couverture. Salissures sur la tranche. Traces d'humidité sur les premières et dernières pages. Couverture différente. Edition 1992. Ammareal reverse jusqu' ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Slightly creased cover. Stains on the edge. Traces of humidity on the first and last pages. Different cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)
Anbieter: Brit Books, Milton Keynes, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 18,07
Währung umrechnenEUR 18,43 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Used; Very Good. ***Simply Brit*** Welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there is something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality.
-
ML for the Working Programmer
Verlag: Cambridge University Press, 1992
ISBN 10: 0521422256 ISBN 13: 9780521422253
Sprache: Englisch
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Verbandsmitglied: PBFA
Verkäuferbewertung 5 von 5 Sternen
EUR 11,87
Währung umrechnenEUR 28,81 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Good. Small plain label to inside cover. Stamp to half title page and verso of half title page. Creasing to corners of covers.
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic Lecture Notes in Computer Science, Band 2283
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 39,95
Währung umrechnenEUR 7,95 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbBroschiert. Zustand: Gut. 218 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 395.
-
Hate Crimes : Legal Issues and Legislation
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 48,71
Währung umrechnenEUR 2,23 für den Versand innerhalb von/der USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New.
-
Hate Crimes : Legal Issues and Legislation
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 49,18
Währung umrechnenEUR 2,23 für den Versand innerhalb von/der USAAnzahl: 2 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Isabelle : A Generic Theorem Prover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,03
Währung umrechnenEUR 2,23 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science, 828)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 51,86
Währung umrechnenEUR 3,37 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 47,90
Währung umrechnenEUR 7,59 für den Versand innerhalb von/der USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Isabelle: A Generic Theorem Prover (Paperback or Softback)
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 57,94
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 5 verfügbar
In den WarenkorbPaperback or Softback. Zustand: New. Isabelle: A Generic Theorem Prover 1.09. Book.
-
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science, 828)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 59,23
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Ml for the Working Programmer
Verlag: Cambridge University Press, 1996
ISBN 10: 052156543X ISBN 13: 9780521565431
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 58,28
Währung umrechnenEUR 2,23 für den Versand innerhalb von/der USAAnzahl: 5 verfügbar
In den WarenkorbZustand: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Verlag: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Sprache: Englisch
EUR 56,66
Währung umrechnenEUR 7,59 für den Versand innerhalb von/der USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Verlag: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Sprache: Englisch
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 61,43
Währung umrechnenEUR 3,37 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Isabelle : A Generic Theorem Prover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 63,02
Währung umrechnenEUR 2,23 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Ml for the Working Programmer
Verlag: Cambridge University Press, 1996
ISBN 10: 052156543X ISBN 13: 9780521565431
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 64,26
Währung umrechnenEUR 2,23 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Hate Crimes : Legal Issues and Legislation
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 49,70
Währung umrechnenEUR 17,29 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New.
-
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Verlag: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Sprache: Englisch
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 69,68
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Hate Crimes : Legal Issues and Legislation
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 52,41
Währung umrechnenEUR 17,29 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science, 828)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,32
Währung umrechnenEUR 13,81 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Isabelle : A Generic Theorem Prover
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 56,70
Währung umrechnenEUR 17,85 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Logic and Computation: Interactive Proof with Cambridge Lcf (Paperback)
Verlag: Cambridge University Press, Cambridge, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Sprache: Englisch
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 75,28
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
