[Human–Computer Interaction Series] The Handbook of Formal...

  • Main
  • [Human–Computer Interaction Series] The...

[Human–Computer Interaction Series] The Handbook of Formal Methods in Human-Computer Interaction || State of the Art on Formal Methods for Interactive Systems

Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, Philippe
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10.1007/97
Year:
2017
Language:
english
DOI:
10.1007/978-3-319-51838-1_1
File:
PDF, 808 KB
english, 2017
Conversion to is in progress
Conversion to is failed