Formal Methods In Human-Computer Interaction
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1998 |
| Editors | Philippe Palanque |
| Fabio Paternò | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2298398 |
About Formal Methods In Human-Computer Interaction
Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. . . .