Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2)
Format:
Hardcover
Hardcover
Paperback
Fuera de stock
0.93 kg
No
Nuevo
Amazon
USA
- First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.
Fuera de stock
Selecciona otra opción o busca otro producto.
Productos Relacionados
Ver másOtros Productos
Ver másCompra protegida
Disfruta de una experiencia de compra segura y confiable
¿Cómo comprar?
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 soñás y lo recibas del mundo a tu puerta.
Saber más.¿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.
Tarjetas prepagas, debito, y credito
Paga hasta en 12 cuotas sin interés con tarjetas de crédito.
Visa
Mastercard
American Express
Dinners
Discover
Lider
Midinero
OCA
OCA Blue
Tarjeta PREX
Pagos a través de PayPal
Paga en dólares con Tarjetas internacionales a través de PayPal.
PayPal
Información de Aduanas Urugauy
Régimen de Encomiendas Postales Internacionales
Dirección Nacional de Aduanas (Decreto 356/014)
Todo envío que cumpla con las siguientes condiciones, está exento de impuestos de Aduana, según el decreto 356/014.
- El monto de la compra NO puede superar los USD 200 de valor de los productos. Dicho valor NO incluye los costos de envío y manejo.
- El paquete no puede pesar más de 20 Kg.
- El destinatario de la misma debe ser mayor de edad (mayor de 18 años). La cédula declarada deberá coincidir con el nombre del titular de la compra.
- Que no sean productos prohibidos
- Máximo 5 unidades del mismo producto por orden.
- No superar las 3 compras anuales por persona: consultar franquicias utilizada
- Deben ser compras personales y sin fines comerciales.
- Datos claros del comprador/a: Nombre, C.I. y domicilio.
- Que no sean productos gravados por el impuesto (I.M.E.S.I.).
- En caso de comprar un celular, será necesario gestionar el trámite VUCE, del cual Tiendamia se hace responsable automáticamente, a no ser que el cliente opte por tramitarlo por su cuenta. Por más información: ¿Cómo se gestiona el permiso URSEC / VUCE para productos con Wifi o Bluethooth?
Algunos de los artículos que no ofrecemos, ya sea porque son prohibidos, porque son gravados por el impuesto I.M.E.S.I., o porque requieren trámites especiales: ver listado