Mathematics of Program Constructionde Jeremy GibbonsMateriasMathematical Logic and Formal LanguagesLogic designComputational complexityDiscrete Mathematics in Computer ScienceSoftware engineeringMath Applications in Computer ScienceLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, Interpreters
Mathematics Of Program Construction 11th International Conference Mpc 2012 Madrid Spain June 2527 2012 Proceedings
Foundations Of Health Information Engineering And Systems Third International Symposium Fhies 2013 Macau China August 2123 2013 Revised Selected Papers