LEADER 01016nam a2200301 i 4500
001 991000901619707536
005 20020507175525.0
008 960520s1991    uk            ||| | eng  
020   $a0122183150
035   $ab10773277-39ule_inst
035   $aLE01304058$9ExL
040   $aDip.to Matematica$beng
082 0 $a001.6425
084   $aAMS 68N05
084   $aAMS 68N25
100 1 $aDix, Alan John$0459959
245 10$aFormal methods for interactive systems /$cAlan John Dix
260   $aLondon :$bAcademic Press,$cc1991
300   $a369 p. ;$c24 cm.
490 0 $aComputers and people series
650  4$aMonitors and operating systems
650  4$aProgramming
907   $a.b10773277$b23-02-17$c28-06-02
912   $a991000901619707536
945   $aLE013 68N DIX11 (1991)$g1$i2013000051468$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10871883$z28-06-02
996   $aFormal methods for interactive systems$9177114
997   $aUNISALENTO
998   $ale013$b01-01-96$cm$da  $e-$feng$guk $h0$i1