LEADER 01082nam a2200277 i 4500
001 991000167579707536
005 20020506110039.0
008 990623s1991    uk            ||| | eng  
020   $a0122183150
035   $ab10040018-39ule_inst
035   $aLE02614328$9ExL
040   $aDip.to Ingegneria dell'Innovazione$bita
082 0 $a004.019
100 1 $aDix, Alan John$0459959
245 10$aFormal methods for interactive systems /$cAlan John Dix
260   $aLondon [etc] :$bAcademic Press,$cc 1991
300   $a[6], 369 p. ;$c24 cm
490 0 $aComputers and people series
650  4$aInformatica - Interazione uomo-macchina
650  4$aInterazione uomo macchina
907   $a.b10040018$b17-02-17$c31-05-02
912   $a991000167579707536
945   $aLE026 004.019 DIX 01.02 1991$g1$i2026000005836$lle026$mTesto collocato sopra gli scaffali della SEZIONE-INFORMATICA$o-$pE0.00$q-$rl$ss  $t4$u0$v0$w0$x0$y.i10045648$z31-05-02
996   $aFormal methods for interactive systems$9177114
997   $aUNISALENTO
998   $ale026$b01-01-99$cm$da  $e-$feng$guk $h0$i1