01395cam a22003497a 4500 15294446 20090212115351.0 080508s2008 enk b 001 0 eng 2008928865 GBA802159 bnb 014480143 Uk 9781848000810 (pbk.) 1848000812 (pbk.) 9781848000827 (ebk.) 1848000820 (ebk.) (OCoLC)ocn187294574 UKM UKM BAKER BTCTA YDXCP BWX BWKUK BWK DLC lccopycat QA76.76.D47 L68 2008 005.101 22 LOV Lover, Robert. 3943 Elementary logic for software development / Robert Lover. London : Springer, c2008. xiv, 313 p. ; 24 cm. Includes bibliographical references (p. 305-308) and index. Computer software Development Methodology. 3944 Reasoning. 3945 ddc BB 11353 11353 0 0 ddc 0 0 Alahram MAIN MAIN LOW 2009-04-21 purchase 264.00 377 0 005.101 LOV 000016053 2025-07-15 00:00:00 BB 0 0 ddc 0 0 Alahram MAIN MAIN LOW 2009-04-29 purchase 264.00 375 0 005.101 LOV 000016267 2025-07-15 00:00:00 NB