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

¡Liquidación! Hasta 40% OFF

Toggle Nav
  • Amazon
  • Ebay
My Cart
Atrás

Artículo: AMZ-032114306X

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Format:

Paperback

Detalles del producto
Disponibilidad
En stock
Peso con empaque
0.64 kg
Devolución
Sí
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA
Sobre este producto
  • This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way of checking to make sure that it works. Specifying a system helps us understand it. It's a good idea to understand a system before building it, so it's a good idea to write a specification of a system before implementing it. The most effective tool to describe a specification is the Temporal Logic of Actions, or TLA, because it provides a mathematical, i.e. precise, foundation for describing systems. TLA+ is the language the author developed to write the mathematical specifications. TLA+ is available freely on the web. It can be used for both software and hardware. In fact, Intel is using TLA+ with great success in the design of a new chip. The book is divided into four parts. The first part contains all that most programmers and engineers need to know about writing specifications. The second part contains more advanced material for more sophisticated readers. The third and fourth parts comprise a reference manual for TLA+ - both the language itself as well as its tools.
$156,34
60% OFF
$62,54

IMPORT EASILY

By purchasing this product you can deduct VAT with your RUT number

$156,34
60% OFF
$62,54

3 meses de gracia en diferidos y hasta 6 meses sin intereses con Pacificard

Envío gratis
Llega en 5 a 12 días hábiles
Con envío
Tienes garantia de entrega
Medios de pago
Este producto viaja de USA a tus manos en
Medios de pago

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!