Formal methods in human-computer interaction /

Bibliographic Details
Other Authors: Palanque, Philippe, 1966-, PaternĂ², Fabio, 1960-
Format: Book
Language:English
Published: London ; New York : Springer, [1998]
Series:Formal approaches to computing and information technology.
Subjects:
Search Result 1