>> Logics and Meanings of Programs
Education , International Conferences and SymposiumsTAPSOFT ’89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
Free Download
Education , International Conferences and SymposiumsTAPSOFT ’91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
Free Download
Science (general) , Scientific-popularTeaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
Free Download
Mathematics , LogicTheorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings
Free Download
Mathematics , AlgebraTrees in Algebra and Programming — CAAP’94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings
Free Download
