Gesamtpreis (1 Artikel Artikel):
Versandziel:
paulson lawrence (30 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (30)
- 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 (17)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (3)
- Gut oder Befriedigend (9)
- 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 (1)
- Angebotsfoto (11)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
ML for the Working Programmer
Sprache: Englisch
Verlag: Cambridge University Press, 1996
ISBN 10: 052156543X ISBN 13: 9780521565431
Anbieter: ThriftBooks-Phoenix, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
ML for the Working Programmer
Sprache: Englisch
Verlag: Cambridge University Press, 1996
ISBN 10: 052156543X ISBN 13: 9780521565431
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
ML for the Working Programmer
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521390222 ISBN 13: 9780521390224
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 6,77
EUR 5,77 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
ML for the Working Programmer
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521390222 ISBN 13: 9780521390224
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Very Good condition. With remainder mark. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
ML for the Working Programmer
Sprache: Englisch
Verlag: Cambridge University Press, 1993
ISBN 10: 0521422256 ISBN 13: 9780521422253
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
ML for the Working Programmer
Sprache: Englisch
Verlag: Cambridge University Press, 1992
ISBN 10: 0521422256 ISBN 13: 9780521422253
SonderangebotEUR 5,55
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. 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.
-
Zustand: Good. Gilt cloth, dust jacket, illustrations in colour and b/w.; Foxed on cut.
-
ML for the Working Programmer
Sprache: Englisch
Verlag: Cambridge University Press, 1992
ISBN 10: 0521422256 ISBN 13: 9780521422253
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Verbandsmitglied: PBFA
Verkäuferbewertung 5 von 5 Sternen
EUR 11,88
EUR 28,83 Versand
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.
-
First-Class Times: Writing about New College's Charter Classes
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 27,28
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Hate Crimes
Sprache: Englisch
Verlag: Nova Science Publishers Inc, 2008
ISBN 10: 160456590X ISBN 13: 9781604565904
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
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
Broschiert. 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
Sprache: Englisch
Verlag: Nova Science Publishers Inc, 2008
ISBN 10: 160456590X ISBN 13: 9781604565904
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 49,74
EUR 3,79 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Hate Crimes
Sprache: Englisch
Verlag: Nova Science Publishers Inc, 2008
ISBN 10: 160456590X ISBN 13: 9781604565904
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Num Pages: 74 pages, tables. BIC Classification: 1KBB; LNF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 212 x 140 x 12. Weight in Grams: 142. . 2008. Paperback. . . . . Books ship from the US and Ireland.
-
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 59,91
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 65,95
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Buch 3 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 68,37
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Paulson, L: Hate Crimes
Sprache: Englisch
Verlag: Nova Science Publishers Inc, 2008
ISBN 10: 160456590X ISBN 13: 9781604565904
Zustand: New. The law defines hate crime as any crime against either person or property in which the offender intentionally selects the victim because of the victim s actual or perceived race, colour, religion, national origin, ethnicity, gender, disability, or sexual or.
-
Logic and Computation: Interactive Proof with Cambridge LCF: 2 (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Buch 3 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 320 pages, bibliography, index. BIC Classification: PBCD; UKD; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 17. Weight in Grams: 580. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland.
-
ML for the Working Programmer
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521390222 ISBN 13: 9780521390224
Zustand: Gut. Zustand: Gut | Seiten: 439 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Logic and Computation: Interactive Proof With Cambridge Lcf (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Buch 3 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1987
ISBN 10: 0521346320 ISBN 13: 9780521346320
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 86,56
EUR 32,13 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:9780521346320.
-
Isabelle : A Generic Theorem Prover
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practice. Virtually all Isabelle functions are described, with advice on correct usage and numerous examples. Isabelle's built-in logics are also described in detail. There is a comprehensive bebliography and index. The book addresses prospective users of Isabelle as well as researchers in logic and automated reasoning.
-
Hate Crimes : Legal Issues & Legislation
Sprache: Englisch
Verlag: Nova Science Publishers Inc Okt 2008, 2008
ISBN 10: 160456590X ISBN 13: 9781604565904
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - Current law defines hate crime as any crime against either person or property in which the offender intentionally selects the victim because of the victim's actual or perceived race, colour, religion, national origin, ethnicity, gender, disability, or sexual orientation. Hate crimes are not separate and distinct offences under current federal law. Rather, hate crimes are traditional crimes, during which the offender is motivated by one or more biases that are considered to be particularly reprehensible and damaging to society as a whole. Furthermore, federal jurisdiction over hate crime is limited to certain civil rights offences, which are considered to be 'hate crimes' when it is determined that the offender was motivated by a bias against race, colour, religion, national origin, and, in limited instances, disability.
-
Taschenbuch. Zustand: Neu. Isabelle | A Generic Theorem Prover | Lawrence C. Paulson | Taschenbuch | xix | Englisch | 1994 | Springer | EAN 9783540582441 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Logic and Computation : Interactive Proof with Cambridge Lcf
Buch 3 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Interactive Theorem Proving: First International Conference, Itp 2010, Edinburgh, Uk, July 11-14, 2010, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642140513 ISBN 13: 9783642140518
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 153,62
EUR 14,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 493 pages. 9.00x6.00x1.00 inches. In Stock.
-
Interactive Theorem Proving
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642140513 ISBN 13: 9783642140518
Zustand: New. Invited Talks.- A Formally Verified OS Kernel. Now What?.- Proof Assistants as Teaching Assistants: A View from the Trenches.- Proof Pearls.- A Certified Denotational Abstract Interpreter.- Using a First Order Logic to Verify That Some Set of Reals Has No L.
-
ML for the Working Programmer
Sprache: Englisch
Verlag: Cambridge University Press, 1996
ISBN 10: 052156543X ISBN 13: 9780521565431
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
-
Hate Crimes
Sprache: Englisch
Verlag: NOVA SCIENCE PUBLISHERS INC (10/2008), 2008
ISBN 10: 160456590X ISBN 13: 9781604565904
Zustand: Used: Like New. LIVRE A L?ETAT DE NEUF. EXPEDIE SOUS 3 JOURS OUVRES. NUMERO DE SUIVI COMMUNIQUE AVANT ENVOI, EMBALLAGE RENFORCE. EAN:9781604565904.
-
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2010
ISBN 10: 3642140513 ISBN 13: 9783642140518
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11 14,2010 in Edinburgh, Scotland as part of the Federated Logic Conference (FLoC, July 9 21, 2010) alongside the other FLoC conferences and workshops. ITP combines the communities of two venerable meetings: the TPHOLs c- ference and the ACL2 workshop. The former conference originated in 1988 as a workshop for users of the HOL proof assistant. The rst two meetings were at the University of Cambridge, but afterwards they were held in a variety of venues. By 1992, the workshop acquired the name Higher-Order Logic Theorem Proving and Its Applications. In 1996, it was christened anew as Theorem Pr- ing in Higher-Order Logics, TPHOLs for short, and was henceforth organizedas a conference. Each of these transitions broadened the meeting s scope from the original HOL system to include other proof assistants based on forms of high- order logic, including Coq, Isabelle and PVS. TPHOLs has regularly published research done using ACL2 (the modern version of the well-known Boyer-Moore theorem prover), even though ACL2 implements a unique computational form of rst-order logic. The ACL2 community has run its own series of workshops since1999. BymergingTPHOLswith the ACL2workshop,weinclude a broader community of researchers who work with interactive proof tools. With our enlarged community, it was not surprising that ITP attracted a record-breaking 74 submissions, each of which was reviewed by at least three Programme Committee members.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 493 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
