Relational and Algebraic Methods in Computer Science Jules Desharnais, Walter Guttmann & Stef Joosten의 도서 더 보기

Mathematics of Program Construction

2010년