Formal Methods for Interactive Systems

Dix, Alan John

ISBN 10: 0122183150 ISBN 13: 9780122183157

Editorial: St Louis, Missouri, U.S.A.: Academic Pr, 1991, 1991

Idioma: Ingl�s

Condici�n: Usado - Excelente Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Bingo Used Books, Vancouver, WA, Estados Unidos de America

Vendedor de AbeBooks desde 24 de octubre de 2002

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Excelente

Precio: EUR 11,44 Convertir moneda

EUR 30,07 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

hardback in near fine condition.

N� de ref. del art�culo 52913

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Formal Methods for Interactive Systems

Editor

St Louis, Missouri, U.S.A.: Academic Pr, 1991

Fecha de publicaci�n

1991

Idioma

Ingl�s

ISBN 10

0122183150

ISBN 13

9780122183157

Encuadernaci�n

Hardcover

Estado

Fine

Cat�logos de vendedores

Acerca de

Sinopsis

Intended for professional, research-level and advanced undergraduates in human-computer interaction and formal methods for software engineering, this book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modelling of intertive systems. By modelling various facets of the system - such as windows, real time phenomena, and dynamic pointers - the book demonstrates how formal methods of software engineering (particularly functional programming) can be used to enhance the efficiency and usability of interactive systems.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Bingo Used Books
WA, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

To order book through a secure site back up and click on "add to your basket". Surface mail (Media) is $4.50 and Priority is $6.99. International rates vary depending on size of book and in some instances we may need to request additional funds to cover the cost of shipping a very heavy book internationally. If you are paying by check or money order, please mail to: Bingo Books at 13016 NE 37th Court, Vancouver, WA. 98686. If you happen to receive a book that is not as described you may return i...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 11 a 50 d�as h�biles	De 9 a 30 d�as h�biles
Primer art�culo	EUR 30.07	EUR 36.51

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.