Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
$71.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9780521448673
1
Details
- Format
- Paperback
- ISBN-13
- 9780521448673
- Publisher
- Cambridge University Press
- Published
- July 23, 2009
- Pages
- 344
- Weight
- 19.4 oz
- Subject
- Computers
More by Michael Harrison
All books
10-Minute Chair Tai Chi for Senior Women: Large Print 28-Day Seated Program, 25 Illustrated Movements to Improve Balance, Ease Stiffness and Stay Stea
Michael Harrison
$20.99
Ready to Vote: The Complete Guide for First-Time American Voters in 2026
Michael Harrison
$17.99
Tai Chi for Back Pain - 10 Honest Minutes a Day, No Floor Exercises: The No-Nonsense Standing Method for Men Over 50 to Break the Stiffness, Drop the
Michael Harrison
$20.99
Tai Chi for Men Over 50 - Lose the Spare Tire, Save Your Knees and Back: A No-Hype, Joint-Friendly Plan to Shrink Stubborn Belly Fat and Stay Capable
Michael Harrison
$21.99
Dark Propagation
Dark Propagation
Michael Harrison
$20.99
The Tallinn Directive
The Tallinn Directive
Michael Harrison
$20.99
Bleed Rate
Bleed Rate
Michael Harrison
$20.99
Shadow Agent: The Network Within
Shadow Agent: The Network Within
Michael Harrison
$20.99
Engineering Interactive Computer Systems. Eics 2023 International Workshops and Doctoral Consortium: Swansea, Uk, June 26-27, 2023, Selected Papers
Engineering Interactive Computer Systems. Eics 2023 International Workshops and Doctoral Consortium: Swansea, Uk, June 26-27, 2023, Selected Papers
Michael Harrison
$78.99
The London that was Rome: The Imperial City Recreated by the New Archaeology
The London that was Rome: The Imperial City Recreated by the New Archaeology
Michael Harrison
$163.99
The Monster Under The Sink
The Monster Under The Sink
Michael Harrison
$15.99
Artu 2
Artu 2
Michael Harrison
$10.99
Popular in Computers
Browse Computers
The Agi Chronicles: The Inside Story of the Race to Create an Artificial Superintelligence
Kevin Roose
$25.99
AI Engineering: Building Applications with Foundation Models
Chip Huyen
$65.99
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky
$23.99
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Martin Kleppmann
$58.99
Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
$16.99
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Eric Matthes
$38.99
Build a Reasoning Model (from Scratch)
Sebastian Raschka
$65.99
The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99
The AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Emily M. Bender
$25.99
The Linux Command Line, 3rd Edition: A Complete Introduction
William Shotts
$38.99
The God Test: Artificial Intelligence and Our Coming Cosmic Reckoning
Robert Wright
$23.99