Formal Methods Human Computer Interaction by Harrison Michael (15 results)

Author
Title

Refine your search

  • Books (15)

to

Custom price range (£)

to

  • Language: English

    Published by Cambridge University Press, 2009

    0521448670 / 9780521448673

    • Softcover

    Seller: California Books, Miami, FL, U.S.A.California Books

    4-star seller
    Contact seller

    Condition: New

    £ 55.06

     Free Shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by Cambridge University Press, 1990

    052137202X / 9780521372022

    • Hardcover

    Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red

    5-star seller
    Contact seller

    Condition: Used - Very good

    £ 57.35

    £ 2.78 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Hardcover. Condition: Very Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or limited writing/highlighting. We ship orders daily and Customer Service is our top priority.

  • Language: English

    Published by Cambridge University Press, 2009

    0521448670 / 9780521448673

    • Softcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    £ 50.81

    £ 11.98 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In.

  • Language: English

    Published by Cambridge University Press 2009-04-20, 2009

    0521448670 / 9780521448673

    • Softcover

    Seller: Chiron Media, Wallingford, United KingdomChiron Media

    5-star seller
    Contact seller

    Condition: New

    £ 49.92

    £ 15.49 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Paperback. Condition: New.

  • Language: English

    Published by Cambridge University Press, 2009

    0521448670 / 9780521448673

    • Softcover

    Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.

    5-star seller
    Contact seller

    Condition: New

    £ 61.46

    £ 8.15 shipping 
    Ships from Ireland to U.S.A.

    Quantity: Over 20 available

    Condition: New. First published in 1990, this book discusses the application of formal methods to the human-computer interface. Editor(s): Harrison, Michael D. (University of Newcastle upon Tyne); Thimbleby, Harold. Series: Cambridge Series on Human-computer Interaction. Num Pages: 344 pages, black & white illustrations. BIC Cla

  • Language: English

    Published by Cambridge University Press CUP, 2009

    0521448670 / 9780521448673

    • Softcover

    Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

    4-star seller
    Contact seller

    Condition: New

    £ 78.24

    £ 2.96 shipping 
    Ships within U.S.A.

    Quantity: 4 available

    Condition: New. pp. 344.

  • Language: English

    Published by Cambridge University Press, 2009

    0521448670 / 9780521448673

    • Softcover

    Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

    5-star seller
    Contact seller

    Condition: New

    £ 74.64

    £ 7.80 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: New. First published in 1990, this book discusses the application of formal methods to the human-computer interface. Editor(s): Harrison, Michael D. (University of Newcastle upon Tyne); Thimbleby, Harold. Series: Cambridge Series on Human-computer Interaction. Num Pages: 344 pages, black & white illustrations. BIC Cla

  • Language: English

    Published by Cambridge University Press, 2009

    0521448670 / 9780521448673

    • Softcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 75.57

    £ 54.04 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 syste

  • Language: English

    Published by Cambridge University Press, 1990

    052137202X / 9780521372022

    • Hardcover

    Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 157.86

    £ 10.64 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 2 available

    Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

  • Language: English

    Published by Cambridge University Press, 2009

    0521448670 / 9780521448673

    • Softcover
    • Print on Demand

    Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

    5-star seller
    Contact seller

    Condition: New

    £ 49.44

    £ 12.50 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Paperback. Condition: Brand New. 1st edition. 344 pages. 9.50x6.75x0.75 inches. In Stock. This item is printed on demand.

  • Language: English

    Published by Cambridge University Press, 2009

    0521448670 / 9780521448673

    • Softcover
    • Print on Demand

    Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE

    5-star seller
    Contact seller

    Condition: New

    £ 54.50

    £ 16.55 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

  • Language: English

    Published by Cambridge University Press, 2009

    0521448670 / 9780521448673

    • Softcover
    • Print on Demand

    Seller: Majestic Books, Hounslow, United KingdomMajestic Books

    4-star seller
    Contact seller

    Condition: New

    £ 78.11

    £ 6.50 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 4 available

    Condition: New. Print on Demand pp. 344 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

  • Language: English

    Published by Cambridge University Press, 2009

    0521448670 / 9780521448673

    • Softcover
    • Print on Demand

    Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

    4-star seller
    Contact seller

    Condition: New

    £ 82.19

    £ 8.54 shipping 
    Ships from Germany to U.S.A.

    Quantity: 4 available

    Condition: New. PRINT ON DEMAND pp. 344.

  • Language: English

    Published by Cambridge University Press, Cambridge, 2009

    0521448670 / 9780521448673

    • Softcover
    • Print on Demand

    Seller: CitiRetail, Stevenage, United KingdomCitiRetail

    5-star seller
    Contact seller

    Condition: New

    £ 57.99

    £ 37.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Paperback. Condition: 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 i

  • Language: English

    Published by Cambridge University Press, 2009

    0521448670 / 9780521448673

    • Softcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 58.40

    £ 42.04 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Condition: 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