Formal Methods in Human-Computer Interaction (Paperback or Softback)
Harrison, Michael
ISBN 10: 0521448670 ISBN 13: 9780521448673
Editore: Cambridge University Press 7/23/2009, 2009
Nuovi
Paperback or Softback
Da
BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 23 gennaio 2002
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Formal Methods in Human-Computer Interaction. Codice articolo BBS-9780521448673
Riassunto:
First published in 1990, this book discusses the application of formal methods to the human-computer interface.
Descrizione del libro: 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Formal Methods in Human-Computer Interaction...
Casa editrice: Cambridge University Press 7/23/2009
Data di pubblicazione: 2009
Legatura: Paperback or Softback
Condizione: New
Tipologia articolo: Book
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190003225
Compra nuovo
EUR 52,86
EUR 3,40 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods in Human-Computer Interaction
Editore:
Cambridge University Press, 2009
ISBN 10: 0521448670
ISBN 13: 9780521448673
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 344 pages. 9.50x6.75x0.75 inches. In Stock. This item is printed on demand. Codice articolo __0521448670
Compra nuovo
EUR 55,46
EUR 14,28 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction)
Editore:
Cambridge University Press 2009-04-20, 2009
ISBN 10: 0521448670
ISBN 13: 9780521448673
Nuovo
Paperback
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9780521448673
Compra nuovo
EUR 56,27
EUR 17,70 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521448673
Compra nuovo
EUR 60,49
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods in Human-Computer Interaction
Editore:
Cambridge University Press, 2009
ISBN 10: 0521448670
ISBN 13: 9780521448673
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521448673
Compra nuovo
EUR 61,32
EUR 18,91 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods in Human-Computer Interaction
Editore:
Cambridge University Press, 2009
ISBN 10: 0521448670
ISBN 13: 9780521448673
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Kartoniert / Broschiert. Condizione: 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 . Codice articolo 446935941
Compra nuovo
EUR 63,55
EUR 48,99 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods in Human-Computer Interaction (Paperback)
Editore:
Cambridge University Press, Cambridge, 2009
ISBN 10: 0521448670
ISBN 13: 9780521448673
Nuovo
Paperback
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo 9780521448673
Compra nuovo
EUR 65,30
EUR 42,28 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods in Human-Computer Interaction (Paperback)
Editore:
Cambridge University Press, Cambridge, 2009
ISBN 10: 0521448670
ISBN 13: 9780521448673
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo 9780521448673
Compra nuovo
EUR 65,40
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Formal Methods in Human-Computer Interaction
Editore:
Cambridge University Press, 2009
ISBN 10: 0521448670
ISBN 13: 9780521448673
Nuovo
Taschenbuch
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Formal Methods in Human-Computer Interaction | Michael Harrison (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2009 | Cambridge University Press | EAN 9780521448673 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. Codice articolo 101626293
Compra nuovo
EUR 68,30
EUR 70,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Formal Methods in Human-Computer Interaction
Editore:
Cambridge University Press CUP, 2009
ISBN 10: 0521448670
ISBN 13: 9780521448673
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 344. Codice articolo 26606149
Compra nuovo
EUR 69,94
EUR 3,40 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili