PX: A Computational Logic (Foundations of Computing).

Sprache: Englisch

Verlag: Mit Pr, 1988

0262081741 / 9780262081740

  • Hardcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, NiederlandeKloof Booksellers & Scientia Verlag

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei ZVAB seit 7. Oktober 1999

Verbandsmitglied: NVVAILAB

Hardcover

Zustand: Gebraucht - Wie neu

EUR 16,95

EUR 30,00 Versand 
Versand von Niederlande nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Cambridge, MA: The MIT Press, 1988. Hardcover. 216 pp.- The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories. While it is well known theoretically that programs can be extracted from constructive proofs, this study shows how it can be done in practice. The authors give a precise description of the formal theory of PX, its semantics, the mathematical foundation of program extraction using PX, and several methodologies and their theories of program extraction. They also describe an experimental implementation of PX. English text. Condition : as new. Condition : as new copy. ISBN 9780262081740. Keywords : .

Bestandsnummer des Verkäufers 263680

Titel
PX: A Computational Logic (Foundations of Computing).
Autor
Hayashi, Susumu
Verlag
Mit Pr
Erscheinungsjahr
1988
Zustand
as new
Einband
Hardcover
Sprache
Englisch
ISBN-10
0262081741
ISBN-13
9780262081740

Kloof Booksellers & Scientia Verlag

Amsterdam, Niederlande

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei ZVAB seit 7. Oktober 1999

Verbandsmitglied:

Versandkosten von Niederlande nach USA

Artikel14 bis 60 Werktage7 bis 15 Werktage
Erster ArtikelEUR 30,00EUR 65,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Rechnung
  • Vorauskasse

Shopbeschreibung

In business since 1923 we are specialized in law, philosophy and other scholarly books from the 16th - 20th century. We also carry a general stock and we have permanently in stock ca. 60.000 titles. Visit only by appointment. Member of ILAB and the NVVA, the Dutch Antiquarian Booksellers Association.

Spezialisierung

Art, Sociology, Economics, History, Medicine, Science, Philosophy, Law

Verbandsmitglied

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Kloof Booksellers & Scientia Verlag

Niederlande