Theorem Proving with the Real Numbers.

Sprache: Englisch

Verlag: Springer Verlag, 1998

3540762566 / 9783540762560

  • Hardcover
  • Gebraucht
Alle Details anzeigen

Anbieter: CSG Onlinebuch GMBH, Darmstadt, DeutschlandCSG Onlinebuch GMBH

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 6. September 2022

Hardcover

Zustand: Gebraucht - Gut

EUR 29,71

EUR 95,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Gebraucht - Gut Zustand: Gut, XII, 186 pp. About this book: The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and the British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of the CPHC by a panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry - to an unfamiliar research topic. Theorem Proving with the Real Numbers discusses the formal development of classical mathematics using a computer. It combines traditional lines of research in theorem proving and computer algebra and shows the usefulness of real numbers in verification. Written for Postgraduate students; final year undergraduates; researchers. …

Bestandsnummer des Verkäufers 16643

Titel
Theorem Proving with the Real Numbers.
Autor
John Harrison
Verlag
Springer Verlag
Erscheinungsjahr
1998
Zustand
Gut
Einband
Gebunden
Sprache
Englisch
ISBN-10
3540762566
ISBN-13
9783540762560

CSG Onlinebuch GMBH

Darmstadt, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 6. September 2022

Versandkosten von Deutschland nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 95,00EUR 110,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
  • PayPal
  • Vorauskasse

Shopbeschreibung

Online Handel mit gebrauchten und antiquarischen Büchern.

Spezialisierung

Gebrauchtbücher

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Deutschland 64293