Recent Trends in Algebraic Development Techniques
Corradini, Andrea.
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642034299
Computer science.; Information theory.; Logic design.; Logic, Symbolic and mathematical.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Mathematics of Computing.; Theory of Computation.; Computation by Abstract Devices.; Mathematical Logic and Foundations.
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642034299
Computer science.; Information theory.; Logic design.; Logic, Symbolic and mathematical.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Mathematics of Computing.; Theory of Computation.; Computation by Abstract Devices.; Mathematical Logic and Foundations.