01203nam a2200289 i 450099100016761970753620020506110040.0990624s1990 uk ||| | eng 052137202Xb1004002x-39ule_instLE02614329ExLDip.to Ingegneria dell'Innovazioneita004.019Harrison, Michael47573Formal methods in human computer interaction /edited by Michael Harrison and Harold ThimbleblyCambridge [etc] :Cambridge University Press,1990xi, 323 p. ;26 cmCambridge. Series on human computer interaction ;2Informatica - Interazione uomo-macchinaInterazione uomo-macchinaThimblebly, Harold.b1004002x17-02-1731-05-02991000167619707536LE026 004.019 HAR 01.01 199012026000005850le026Testo collocato sopra gli scaffali della SEZIONE-INFORMATICA-E0.00-ls 40000.i1004565x31-05-02Formal methods in human computer interaction177111UNISALENTOle02601-01-99ma -enguk 01