Theorem Proving with the Real Numbers.

Idioma: inglés

Editorial: Springer Verlag, 1998

3540762566 / 9783540762560

Librería: CSG Onlinebuch GMBH, Darmstadt, AlemaniaCSG Onlinebuch GMBH

Vendedor de 5 estrellas

Vendedor de IberLibro desde 6 de septiembre de 2022

Tapa dura

Condición: Usado - Bueno

EUR 29,71

Envío por EUR 95,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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

N° de ref. del artículo 16643

Título
Theorem Proving with the Real Numbers.
Autor
John Harrison
Editorial
Springer Verlag
Año de publicación
1998
Estado
Gut
Encuadernación
Gebunden
Idioma
inglés
ISBN 10
3540762566
ISBN 13
9783540762560

CSG Onlinebuch GMBH

Darmstadt, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 6 de septiembre de 2022

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 60 a 60 días hábilesDe 60 a 60 días hábiles
Primer artículoEUR 95,00EUR 110,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

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

Descripción de la tienda

Online Handel mit gebrauchten und antiquarischen Büchern.

Especialidad

Gebrauchtbücher

Información empresarial del vendedor

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Alemania 64293