Filters
- Springer
- A K Peters
- Academic
- Academic Press
- ACM
- ACM Books
- Adamanderson
- Addison-Wesley Professional
- ALA Editions
- Antennaeproject
- Apress
- Ascent, Center for Technical Knowledge
- Atila Velo
- Authority Connect
- Bard Graduate Center
- BCS, the Chartered Institute for IT
- Bibliogov
- Biblioscholar
- Bis Publishers
- Black Watch Publishing
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Bod - Books on Demand
- Books on Demand
- Bosko Books
- Bowdark Press
- BPB Publications
- Brill
- Brill Wageningen Academic
- Cambridge University Press
- Cambridge UP
- Cengage Learning India
- China National Publications Import & Export C
- Clanrye International
- Cognella Academic Publishing
- CRC Press
- Createspace
- Createspace Independent Publishing Platform
- Cuvillier
- Deutscher Universitatsverlag
- Diplom.de
- Dissertation.com
- Eae Editorial Academia Espanola
- Edicoes Nosso Conhecimento
- Edinburgh University Press
- Edinburgh UP
- Editions Notre Savoir
- Editorial Academica Espanola
- Edizioni Sapienza
- Elsevier
- Elsevier Science
- Elsevier Science & Technology
- Elsevier Science Ltd
- Emrah Yayici
- Engineering Science Reference
- Facet Publishing
- For Dummies
- Future Strategies Inc
- Graphentis Verlag E. K.
- Greenwood Press
- Grin Verlag
- Hans Van de Bruggen
- Harper Fairchild
- Holy Macro! Books
- How Books
- Hutson Street Press
- Idea Group Publishing
- Igel
- IGI Global
- Independent Publishing Network
- Independently Published
- Information Science Reference
- Inigi Publishers LLC
- Institute of Physics Publishing
- Institution of Engineering & Technology
- Intechopen
- Isabella Grey
- Iste Press - Elsevier
- Jai Press Inc.
- John Wiley & Sons Inc
- Johns Hopkins University Press
- Jordan Mitchell
- Josef Eul Verlag Gmbh
- Josh Clark
- Jovis
- K.G. Saur Verlag
- Kaplan Publishing
- Ketchhikan Press
- Kluwer Law International
- Kogan Page
- Ladoo Publishing LLC
- LAP Lambert Academic Publishing
- Larsen and Keller Education
- Late Afternoon Press
- Legare Street Press
- Libraries Unlimited
- Lulu.com
- Macmillan
- Manning Publications
- MIT Press
- Springer
- A K PETERS
- A K Peters/CRC Press
- Acad Pr
- Academic
- Academic Press
- ACM
- ACM Books
- Adamanderson
- Addison-Wesley Professional
- ALA Editions
- Antennaeproject
- Apple Academic Press
- Apress
- Ascent, Center for Technical Knowledge
- Atila Velo
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Authority Connect
- Bard Graduate Center
- BCS, the Chartered Institute for IT
- Bibliogov
- Biblioscholar
- Bis Publishers
- Black Watch Publishing
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Bod - Books on Demand
- Books on Demand
- Bosko Books
- Bowdark Press
- BPB Publications
- Brill
- Brill Wageningen Academic
- Cambridge
- Cambridge University Press
- Cengage Learning India
- China National Publications Import & Export C
- Clanrye International
- Cognella Academic Publishing
- CRC Press
- CRC/CH
- Createspace
- Createspace Independent Publishing Platform
- Cuvillier
- Deutscher Universitatsverlag
- Diplom.de
- Dissertation.com
- Eae Editorial Academia Espanola
- Edicoes Nosso Conhecimento
- Edinburgh
- Edinburgh University Press
- Editions Notre Savoir
- Editorial Academica Espanola
- Edizioni Sapienza
- Elsevier
- Elsevier Science
- Elsevier Science & Technology
- Elsevier Science Ltd
- Emrah Yayici
- Engineering Science Reference
- FacetPub.
- Focal Press
- For Dummies
- Future Strategies Inc
- Graphentis Verlag E. K.
- Greenwood Press
- Grin Verlag
- Hans Van de Bruggen
- Harper Fairchild
- Holy Macro! Books
- How Books
- Hutson Street Press
- Idea Group Publishing
- Igel
- IGI Global
- Independent Publishing Network
- Independently Published
- Information Science Reference
- Inigi Publishers LLC
- Institute of Physics Publishing
- Institution of Engineering & Technology
- Intechopen
- Isabella Grey
- Iste Press - Elsevier
- Jai Press Inc.
- John Wiley & Sons Inc
- Johns Hopkins University Press
- Jordan Mitchell
- Josef Eul Verlag Gmbh
- Josh Clark
- Jovis
- K.G. Saur Verlag
- Kaplan Publishing
- Ketchhikan Press
- Kluwer Law International
- Kogan Page
- Ladoo Publishing LLC
- LAP Lambert Academic Publishing
- 何天平 白珩
- A. Degani
- A. G. Sutcliffe
- A. R. Daniel
- A. Scholtens
- A. Sutcliffe
- Aaron Marcus
- Aaron Schmidt
- Abdalla Emam
- Abdulhamit Subasi
- Abhay Rajput
- Abhijit Narayanrao Banubakode
- Achim Ebert
- Ad Van Berlo
- Adam Anderson
- Adam Boduch
- Adela Coman
- Adelka Niels
- Adigun Samson
- Ahmed Seffah
- Alain Philippe Gruchet
- Alistair Sutcliffe
- Andreas Holzinger
- Andy Priestner
- Anna Esposito
- Ashley Godbold
- Ben Shneiderman
- Bong Jun Choi
- Boris Galitsky
- Çağla Şeneler
- Carmelo Ardito
- Cecília Baranauskas
- Chauncey Wilson
- Christa Sommerer
- Christine Lam
- Constantine Stephanidis
- Dan Saffer
- David Benyon
- David Lamas
- Don Harris
- Donald Elton
- Fabio Paternò
- Fabio Paterno
- Fabio Staiano
- Gabriele Meiselwitz
- Gavriel Salvendy
- Hirohiko Mori
- Isabel L. Nunes
- Ishwarya M. V.
- Jeff Johnson
- Jeff Sauro
- Jessie Y. C. Chen
- Jia Zhou
- Jim Wilson
- Jonathan Lazar
- José Abdelnour Nocera
- Josiah Wood
- Julia Pausch
- Julie A. Jacko
- Julio Abascal
- Konrad Baumann
- Marcelo M. Soares
- Margherita Antona
- Martin Schrepp
- Masaaki Kurosu
- Matthew MacDonald
- Mazyar Seraj
- Meike Schröder
- Michael Filimowicz
- Michael J. Smith
- Michael McTear
- Musab Qureshi
- Nandkishor Mande
- Nithiyananthan Kannan
- Norbert A. Streitz
- Norbert Streitz
- Pablo H. Ruiz
- Pallavi Pandey
- Paula Kotzé
- Pedro Campos
- Phil Turner
- Philippe Palanque
- Pradipta Biswas
- Pythquill Publishing
- Qin Gao
- Regina Bernhaupt
- Riaz Ahmed
- Robert J. Moore
- Sakae Yamamoto
- Sharon Oviatt
- Siegfried Treu
- Steven Branson
- Tareq Ahram
- Tom Gross
- Tony Bozeman
- Uist 14 Conference Committee
- Vanessa Agredo-Delgado
- Vincent G. Duffy
- William Webb
- Zoey Fortnite
Products
The Handbook of Formal Methods in Human-Computer Interaction
Benjamin Weyers
Paperback
Current price
₹21,830
Original price
₹33,584
Original price
₹33,584
Original price
₹33,584
(-35%)
₹21,830
Current price
₹21,830
| /
• Author(s): Benjamin Weyers • Publisher: Springer • Publisher Imprint: Springer • BISAC: User InterfacesFrom the Back CoverThis book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Int...
View full details
