01140nam a2200313 i 450099100090165970753620020507175526.0960507s1990 uk ||| | eng 052137202Xb10773289-39ule_instLE01304059ExLDip.to Matematicaeng001.6425AMS 68N05AMS 68N25Harrison, Michael47573Formal methods in human-computer interaction /edited by Michael Harrison and Harold ThimblebyCambridge :Cambridge University Press,c1990xi, 323 p. ;25 cm.Cambridge series on human-computer interaction ;2Monitors and operating systemsProgrammingThibleby, Harold.b1077328923-02-1728-06-02991000901659707536LE013 68N HAR21 (1990)12013000051451le013-E0.00-l- 00000.i1087189528-06-02Formal methods in human computer interaction177111UNISALENTOle01301-01-96ma -enguk 01