000 00759cam a2200241ua 4500
001 091804
005 20170524140510.0
008 081105 1990 XXK NNYN eng1
020 _a052137202X
_cः29.65
040 _aIGNCA, New Delhi
044 _axxk
082 0 _a001.642
_bFOR
245 0 _aFormal methods in human-computer interaction
_cedited by Michael Harrison and Harold Thimbleby
260 _aCambridge
_bCambridge University Press
_c1990
300 _axvii,323p.
_c26cm
500 _aIncludes index
504 _aBibliography: p.297-316
650 0 0 _aComputer programs
653 _aPrograms and programming
700 1 _aHarrison, Michael, ed.
700 1 _aThimbleby, Harold, ed.
942 _2ddc
_cBK
999 _c30616
_d30616