Discrete mathematics for computing students: A programming oriented approach with Alloy

Leo C. Ureel II, Charles Wallace. Discrete mathematics for computing students: A programming oriented approach with Alloy. In 2016 IEEE Frontiers in Education Conference, FIE 2015, Eire, PA, USA, October 12-15, 2016. pages 1-5, IEEE Computer Society, 2016. [doi]

Bibliographies