LEADER 01140nam a2200313 i 4500
001 991000901659707536
005 20020507175526.0
008 960507s1990    uk            ||| | eng  
020   $a052137202X
035   $ab10773289-39ule_inst
035   $aLE01304059$9ExL
040   $aDip.to Matematica$beng
082 0 $a001.6425
084   $aAMS 68N05
084   $aAMS 68N25
100 1 $aHarrison, Michael$047573
245 10$aFormal methods in human-computer interaction /$cedited by Michael Harrison and Harold Thimbleby
260   $aCambridge :$bCambridge University Press,$cc1990
300   $axi, 323 p. ;$c25 cm.
490 0 $aCambridge series on human-computer interaction ;$v2
650  4$aMonitors and operating systems
650  4$aProgramming
700 1 $aThibleby, Harold
907   $a.b10773289$b23-02-17$c28-06-02
912   $a991000901659707536
945   $aLE013 68N HAR21 (1990)$g1$i2013000051451$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10871895$z28-06-02
996   $aFormal methods in human computer interaction$9177111
997   $aUNISALENTO
998   $ale013$b01-01-96$cm$da  $e-$feng$guk $h0$i1