Liquidación de temporada: ¡Hasta 40% OFF!

¡Liquidación! Hasta 40% OFF

Toggle Nav
  • Amazon
  • Ebay
My Cart
Atrás

Artículo: AMZ-0387907432

A Programming Approach to Computability (Monographs in Computer Science)

Format:

Hardcover

Hardcover

Paperback

Detalles del producto
Disponibilidad
Sin stock
Peso con empaque
0.62 kg
Devolución
No
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA
Sobre este producto
  • Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first stored-program computer. As a result, many texts on computability theory strike today's computer science students as far removed from their concerns. To remedy this, we base our approach to computability on the language of while-programs, a lean subset of PASCAL, and postpone consideration of such classic models as Turing machines, string-rewriting systems, and p. -recursive functions till the final chapter. Moreover, we balance the presentation of un solvability results such as the unsolvability of the Halting Problem with a presentation of the positive results of modern programming methodology, including the use of proof rules, and the denotational semantics of programs. Computer science seeks to provide a scientific basis for the study of information processing, the solution of problems by algorithms, and the design and programming of computers. The last 40 years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the develop­ ment of mathematical techniques to allow the rigorous specification of program, process, and machine.

Sin stock

Seleccione otra opción o busque otro producto.

Este producto viaja de USA a tus manos en
Medios de pago

Productos Relacionados

Ver más

Otros Productos

Ver más

Compra protegida

Disfruta de una experiencia de compra segura y confiable

¿Cómo comprar?

Información de Aduanas Ecuador

En Tiendamia puedes hacer tus compras a través de la categoría B (4x4) y la categoría C. No tendrás que hacer trámites de aduana. Hacemos todo por ti.

  • El 4x4 (o categoría B)
  • a. No paga impuestos ecuatorianos.
  • b. Tienes una cantidad ilimitada de órdenes en el régimen 4x4 siempre que cada una de estas esté dentro del peso máximo permitido (hasta 4 kg) y no superen los $400, además de cumplir con el cupo anual por persona.
  • c. El cupo anual máximo es de $1.600 al año para compras en el exterior a través del régimen 4x4. El cupo anual se limitan a una cédula pero no a tu usuario de Tiendamia.
  • d. Se puede comprar una gran variedad de productos dentro de esta categoría siempre y cuando cumplan con el 4x4 y no sean para fines comerciales, por esa razón, se puede comprar máximo 3 productos iguales o similares de la misma categoría. Por ejemplo, puedes comprar hasta 3 perfumes, hasta 3 relojes y hasta 3 pares de zapatos, si te excedes de esta cantidad tu orden puede tener cargos extra por parte de la aduana.
  • Las tablets, laptops y celulares se pueden comprar a través de la Categoría C.
  • a. Esta categoría sí paga impuestos (IVA + Fodinfa)
  • b. Solo se puede comprar un celular nuevo al año, no se admiten refabricados, usados u “open box.”

Obtener ayuda

Garantía de entrega

Con Tiendamia todas tus compras cuentan con Garantía de Entrega o devolución total de tu dinero.

Compras 100% seguras y garantizadas, para que pidas lo que sueñas y lo recibas del mundo a tu puerta.

¿Cómo solicitar una devolución?

Para solicitar una devolución, el cliente debe realizarlo a través de su cuenta de Tiendamia. Este proceso está sujeto a la aprobación del departamento de Devoluciones (lo cual puede demorar de 48hs a 72hs hábiles). En caso de no tener la opción en la web, el cliente debe contactarse con Atención al Cliente para iniciar la solicitud.

Los productos sin devolución son:

  • Los productos que tienen un tiempo de entrega mayor a 20 días hábiles.
  • Productos que por su naturaleza no admiten devolución en EE.UU. o China y, por lo tanto, Tiendamia no puede ofrecer la devolución al cliente. Ejemplos: perfumes, cremas y medicamentos.

Saber más

Tarjetas de Débito y Crédito

Visa

Mastercard

American Express

Dinners

Discover

Alias

Pagos a través de PayPal

Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.

PayPal

¿Cómo comprar?

Hacemos todo por ti

Información para tu compra

  • Debes ser ciudadano Uruguayo mayor de 18 años.
  • Los datos del titular de la tarjeta, deben coincidir con los datos del titular de la compra.
  • Cada compra tiene límite de USD 200 en valor de productos sin incluir el costo del envío.
  • Hay determinados productos que están prohibidos por la aduana de tu país. Ver productos prohibidos
  • Compras ilimitadas en Libros , CDs , DVDs y Vinilos
Ver más información

Tarjetas de Débito, Crédito y Deuna

Visa

Mastercard

American Express

Dinners

Discover

Alias

Pagos a través de Deuna

Deuna

Pagos a través de PayPal

Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.

PayPal

Garantía de entrega

Con Tiendamia todas tus compras cuentan con Garantía de Entrega o devolución total de tu dinero.

Compras 100% seguras y garantizadas, para que pidas lo que sueñas y lo recibas del mundo a tu puerta.

Compra como si vivieras fuera, pero desde cualquier lugar de Ecuador

Bienvenido a Tiendamia, donde podrás acceder a más de mil millones de productos del mundo con tan solo un clic. ¡Suscríbete a nuestro newsletter y disfruta de ofertas exclusivas!