Formal Methods in Human-Computer Interaction (Paperback or Softback)

Harrison, Michael

ISBN 10: 0521448670 ISBN 13: 9780521448673

Editorial: Cambridge University Press 7/23/2009, 2009

Nuevos Paperback or Softback

Librer�a: BargainBookStores, Grand Rapids, MI, Estados Unidos de America Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 23 de enero de 2002

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

Formal Methods in Human-Computer Interaction. N� de ref. del art�culo BBS-9780521448673

Denunciar este art�culo

Sinopsis:

First published in 1990, this book discusses the application of formal methods to the human-computer interface.

Rese�a del editor: 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.

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

Detalles bibliogr�ficos

T�tulo: Formal Methods in Human-Computer Interaction...
Editorial: Cambridge University Press 7/23/2009
A�o de publicaci�n: 2009
Encuadernaci�n: Paperback or Softback
Condici�n: New
Tipo de libro: Book

Los mejores resultados en AbeBooks

Imagen de archivo

Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2)

Publicado por Cambridge University Press, 2009

ISBN 10: 0521448670 ISBN 13: 9780521448673

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Feb2416190003225

Contactar al vendedor

Comprar nuevo

EUR 53,04

EUR 3,41 shipping
Se env�a dentro de Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods in Human-Computer Interaction

Harrison, Michael (Editor)/ Thimbleby, Harold (Editor)

Publicado por Cambridge University Press, 2009

ISBN 10: 0521448670 ISBN 13: 9780521448673

Nuevo Paperback

Impresi�n bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: Brand New. 1st edition. 344 pages. 9.50x6.75x0.75 inches. In Stock. This item is printed on demand. N� de ref. del art�culo: __0521448670

Contactar al vendedor

Comprar nuevo

EUR 55,45

EUR 14,28 shipping
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction)

Michael Harrison

Publicado por Cambridge University Press 2009-04-20, 2009

ISBN 10: 0521448670 ISBN 13: 9780521448673

Nuevo Paperback

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 4 de 5 estrellas

Paperback. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9780521448673

Contactar al vendedor

Comprar nuevo

EUR 56,27

EUR 17,70 shipping
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2)

Publicado por Cambridge University Press, 2009

ISBN 10: 0521448670 ISBN 13: 9780521448673

Nuevo Tapa blanda

Librería: California Books, Miami, FL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: I-9780521448673

Contactar al vendedor

Comprar nuevo

EUR 60,69

Gastos de env�o gratis
Se env�a dentro de Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods in Human-Computer Interaction

Michael D. Harrison

Publicado por Cambridge University Press, 2009

ISBN 10: 0521448670 ISBN 13: 9780521448673

Nuevo Paperback / softback

Impresi�n bajo demanda

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback / softback. Condici�n: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N� de ref. del art�culo: C9780521448673

Contactar al vendedor

Comprar nuevo

EUR 61,31

EUR 18,91 shipping
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods in Human-Computer Interaction

Harrison, Michael

Publicado por Cambridge University Press, 2009

ISBN 10: 0521448670 ISBN 13: 9780521448673

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Kartoniert / Broschiert. Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First published in 1990, this book discusses the application of formal methods to the human-computer interface. Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an . N� de ref. del art�culo: 446935941

Contactar al vendedor

Comprar nuevo

EUR 63,55

EUR 48,99 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods in Human-Computer Interaction (Paperback)

Michael Harrison

Publicado por Cambridge University Press, Cambridge, 2009

ISBN 10: 0521448670 ISBN 13: 9780521448673

Nuevo Paperback

Impresi�n bajo demanda

Librería: CitiRetail, Stevenage, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. 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. First published in 1990, this book discusses the application of formal methods to the human-computer interface. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de ref. del art�culo: 9780521448673

Contactar al vendedor

Comprar nuevo

EUR 65,29

EUR 42,27 shipping
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods in Human-Computer Interaction (Paperback)

Michael Harrison

Publicado por Cambridge University Press, Cambridge, 2009

ISBN 10: 0521448670 ISBN 13: 9780521448673

Nuevo Paperback

Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. 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. First published in 1990, this book discusses the application of formal methods to the human-computer interface. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de ref. del art�culo: 9780521448673

Contactar al vendedor