Theorem Proving with the Real Numbers.

Lingua: inglese

Editore: Springer Verlag, 1998

3540762566 / 9783540762560

Da: CSG Onlinebuch GMBH, Darmstadt, GermaniaCSG Onlinebuch GMBH

Venditore con 5 stelle

Venditore AbeBooks dal 6 settembre 2022

Rilegato

Condizione: Usato - Molto buono

EUR 29,71

EUR 95,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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. …

Codice articolo 16643

Titolo
Theorem Proving with the Real Numbers.
Autore
John Harrison
Editore
Springer Verlag
Anno di pubblicazione
1998
Condizione
Gut
Rilegatura
Gebunden
Lingua
inglese
ISBN 10
3540762566
ISBN 13
9783540762560

CSG Onlinebuch GMBH

Darmstadt, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 6 settembre 2022

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 95,00EUR 110,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • PayPal

Descrizione dello Store

Online Handel mit gebrauchten und antiquarischen Büchern.

Specializzazione

Gebrauchtbücher

Informazioni sull’azienda del venditore

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Germania 64293