Relational and Algebraic Methods in Computer Science Más libros de Jules Desharnais, Walter Guttmann & Stef Joosten

Mathematics of Program Construction

2010