Formal methods in human-computer interaction
Edición de la obra Formal methods in human-computer interaction
| Autor | Philippe Palanque |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1998 |
| Lugar | London, New York |
| Idioma | inglés |
| Páginas | 376 |
| ISBN-10 | 3540761586 |
| OCLC | 37315334 |
| LCCN | 97027729 |
| Serie | Formal approaches to computing and information technology |
| Número de Cutter | P154f |