000 00350nam a2200133 4500
008 160616s 000 0
245 _aBoolean calculus of differences
100 _aAndre Thayse., Ed.
260 _aBerlin
260 _bSpringer-Verlag
440 _aLecture notes in computer science ; 00101
942 _cBK
_2BK6064
080 _a681 LNCS
999 _c6064
_d6064