000 00465nam a2200157Ia 4500
008 161214s9999 xx 000 0 und d
020 _a9781848000810
_c(pbk)
082 _223
_a005.101
_bLOV
100 _aLover, Robert
245 0 _aElementary logic : for software developers
260 _aNew York:
_bSpringer,
_c2008
300 _axiv, 313 p.;
_bill.:
_c24 cm.
650 _aComputer software -- Development -- Methodology
650 _aReasoning
942 _2ddc
_cBK
999 _c21662
_d21662