The handbook of formal methods in human-computer interaction

Author(s)

• Weyers, Benjamin

Bibliographic Information

The handbook of formal methods in human-computer interaction

Benjamin Weyers ... [et al.]

（Human-computer interaction series / editors-in-chief, John Karat, Jean Vanderdonckt）

Springer, c2017

Note

Includes bibliographical references

Details

• NCID: BB26299273
• ISBN:
  • 9783319518374
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xiv, 575 p.
• Size: 25 cm
• Classification:
  • DC23 : 004.019
• Subject Headings:
  • LCSH : Human-computer interaction
  • LCSH : Human-computer interaction -- Case studies
• Parent Bibliography ID:
  • BA57367643