Search Results for Programming (Mathematics) - Narrowed by: Logic, Symbolic and mathematicalSirsiDynix Enterprisehttp://portal.utm.my/client/en_AU/main/main/qu$003dProgramming$002b$002528Mathematics$002529$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical$002509Logic$00252C$002bSymbolic$002band$002bmathematical$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2024-05-29T13:43:30ZDiscrete structures, logic, and computabilityent://SD_ILS/0/SD_ILS:8410712024-05-29T13:43:30Z2024-05-29T13:43:30Zby Hein, James L.<br/>Author Hein, James L.<br/>Format: Books<br/>Call Number QA76.9.M35 H45 2010<br/>Edition 3rd ed.<br/>Publisher Jones and Bartlett Publishers,<br/>Publication Date 2010<br/>ISBN 9780763772062<br/>Logics of specification languagesent://SD_ILS/0/SD_ILS:2545932024-05-29T13:43:30Z2024-05-29T13:43:30Zby Bjorner, D. (Dines), 1937-<br/>Author Bjorner, D. (Dines), 1937-, Henson, Martin C.<br/>Format: Books<br/>Call Number QA76.7 L63 2008<br/>Publisher Springer-Verlag,<br/>Publication Date 2008<br/>ISBN 9783540741060<br/>Logic for computer scientistsent://SD_ILS/0/SD_ILS:3521272024-05-29T13:43:30Z2024-05-29T13:43:30Zby Schoning, Uwe<br/>Author Schoning, Uwe<br/>Format: Books<br/>Call Number QA9 S36 2008<br/>Publisher Birkh�auser,<br/>Publication Date 2008<br/>ISBN 9780817647629<br/>Adapting proofs-as-programs : the curry - howard protocolent://SD_ILS/0/SD_ILS:3843002024-05-29T13:43:30Z2024-05-29T13:43:30Zby Poernomo, Iman Hafiz<br/>Author Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M. (Martin)<br/>Format: Books<br/>Call Number QA9.54 P64 2005<br/>Publisher Springer,<br/>Publication Date 2005<br/>ISBN 9780387237596<br/>Logic and structured design for computer programmersent://SD_ILS/0/SD_ILS:1600842024-05-29T13:43:30Z2024-05-29T13:43:30Zby Rood, Harold J.<br/>Author Rood, Harold J.<br/>Format: Books<br/>Call Number QA76.6 R62 2001<br/>Edition 3rd ed.<br/>Publisher Brooks/Cole,<br/>Publication Date 2001<br/>ISBN 9780534373863<br/>Logic and structured design for computer programmersent://SD_ILS/0/SD_ILS:995562024-05-29T13:43:30Z2024-05-29T13:43:30Zby Rood, Harold J.<br/>Author Rood, Harold J.<br/>Format: Books<br/>Call Number QA76.6 R62 1992<br/>Edition 2nd ed.<br/>Publisher PSW-Kent Pub. Co.,<br/>Publication Date 1992<br/>ISBN 9780534929664<br/>Temporal logics and their applicationsent://SD_ILS/0/SD_ILS:2890862024-05-29T13:43:30Z2024-05-29T13:43:30Zby Galton, Anthony<br/>Author Galton, Anthony<br/>Format: Books<br/>Call Number QA76.6 T441 1987<br/>Publisher Academic Press,<br/>Publication Date 1987<br/>ISBN 9780122740602<br/>The logical basis for computer programmingent://SD_ILS/0/SD_ILS:1972742024-05-29T13:43:30Z2024-05-29T13:43:30Zby Manna, Zohar<br/>Author Manna, Zohar, Waldinger, Richard<br/>Format: Books<br/>Call Number QA76.6 M43 1985<br/>Publisher Addison-Wesley,<br/>Publication Date 1985<br/>Logic and structured design for computer programmersent://SD_ILS/0/SD_ILS:2945742024-05-29T13:43:30Z2024-05-29T13:43:30Zby Rood, Harold J.<br/>Author Rood, Harold J.<br/>Format: Books<br/>Call Number QA76.6 R62 1985 f<br/>Publisher PWS Pub.,<br/>Publication Date 1985<br/>ISBN 9780871508690<br/>Introduction to logic programmingent://SD_ILS/0/SD_ILS:1808942024-05-29T13:43:30Z2024-05-29T13:43:30Zby Hogger, Christopher John<br/>Author Hogger, Christopher John<br/>Format: Books<br/>Call Number QA76.6 H64 1984<br/>Publisher Academic Press,<br/>Publication Date 1984<br/>ISBN 9780123520906<br/>The logic of programmingent://SD_ILS/0/SD_ILS:2943572024-05-29T13:43:30Z2024-05-29T13:43:30Zby Hehner, Eric C. R.<br/>Author Hehner, Eric C. R.<br/>Format: Books<br/>Call Number QA76.6 H43 1984<br/>Publisher Prentice Hall,<br/>Publication Date 1984<br/>ISBN 9780135399668<br/>Introduction to logic programmingent://SD_ILS/0/SD_ILS:2503192024-05-29T13:43:30Z2024-05-29T13:43:30Zby Hogger, Christopher John<br/>Author Hogger, Christopher John<br/>Format: Books<br/>Call Number QA76.6 H643 1985<br/>Publisher Academic Press,<br/>Publication Date 1984<br/>ISBN 9780029495100<br/>Mathematical logic in computer scienceent://SD_ILS/0/SD_ILS:3068062024-05-29T13:43:30Z2024-05-29T13:43:30Zby Domolki, B.<br/>Author Domolki, B., Gergely, Tamas<br/>Format: Books<br/>Call Number QA76.7 M37 1981<br/>Publisher North-Holland,<br/>Publication Date 1981<br/>ISBN 9780444854407<br/>Mathematical foundation of programmingent://SD_ILS/0/SD_ILS:1538702024-05-29T13:43:30Z2024-05-29T13:43:30Zby Beckman, Frank S.<br/>Author Beckman, Frank S.<br/>Format: Books<br/>Call Number QA9 B36 1980<br/>Publisher Addison-Wesley,<br/>Publication Date 1980<br/>ISBN 9780201144628<br/>Logic for problem solvingent://SD_ILS/0/SD_ILS:1163512024-05-29T13:43:30Z2024-05-29T13:43:30Zby Kowalski, Robert<br/>Author Kowalski, Robert<br/>Format: Books<br/>Call Number QA63 K68 1979<br/>Publisher North Holland,<br/>Publication Date 1979<br/>ISBN 9780444003652<br/>A programming logic : with an introduction to the PL/CV verifierent://SD_ILS/0/SD_ILS:3005182024-05-29T13:43:30Z2024-05-29T13:43:30Zby Constable, Robert L.<br/>Author Constable, Robert L., O'Donnell, Michael J.<br/>Format: Books<br/>Call Number QA76.73.P252 C66 1978<br/>Publisher Winthrop,<br/>Publication Date 1978<br/>ISBN 9780876267264<br/>