Elementary logic for software development /
Lover, Robert.
Elementary logic for software development / Robert Lover. - London : Springer, c2008. - xiv, 313 p. ; 24 cm.
Includes bibliographical references (p. 305-308) and index.
9781848000810 (pbk.) 1848000812 (pbk.) 9781848000827 (ebk.) 1848000820 (ebk.)
2008928865
GBA802159 bnb
014480143 Uk
Computer software--Development--Methodology.
Reasoning.
QA76.76.D47 / L68 2008
005.101 / LOV
Elementary logic for software development / Robert Lover. - London : Springer, c2008. - xiv, 313 p. ; 24 cm.
Includes bibliographical references (p. 305-308) and index.
9781848000810 (pbk.) 1848000812 (pbk.) 9781848000827 (ebk.) 1848000820 (ebk.)
2008928865
GBA802159 bnb
014480143 Uk
Computer software--Development--Methodology.
Reasoning.
QA76.76.D47 / L68 2008
005.101 / LOV