Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
2018년
Mathematics of Program Construction Mathematics of Program Construction
2010년