Formal methods in human computer interaction
/ Philippe Palanque and Fabio Paternò (ed.). - London : Springer, 1997. - XVII, 376 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76158-7 / 3-540-76158-6 kart. : DM 89.00
Literaturverz. S. 347 - 361
Quelle: DNB
Interactive systems
: design, specification, and verification ; 7th international workshop ; revised papers / DSV-IS 2000, Limerick, Ireland, June 2000. P. Palanque ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1946)
ISBN 978-3-540-44675-0
Lizenzpflichtig
Quelle: DNB