000 00465nam a2200169 a 4500
005 20151026131049.0
008 960221s1955 dcuabcdjdbkoqu001 0deng d
020 _a0-8176-3700-1
100 _aHussmann, Heinrich
245 _aNon determinism in Algebric specifications and algebraic programs
260 _aBsoton
_bBirkhauser
_c1993
300 _avii, 253 p.
500 _a
653 _aComputer algorithm
_aComputer science
942 _cBK
003 ViArRB
999 _c19567
_d19567